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

Infer that Socrates is mortal.
