------------------
Socrates Inference
------------------

The tests are at http://josd.github.io/eye/reasoning/socrates/test
