-------------------------------------------
Socrates metachaining - forward to backward
-------------------------------------------

Infer that Socrates is mortal.
