https://ma.tt/2014/09/logical-conclusion-of-ai/