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

Infer that Socrates is mortal.
