------------
Good Cobbler
------------

Example from https://shs.hal.science/halshs-04148373/document
Using term logic http://intrologic.stanford.edu/chapters/chapter_11.html
