(4) A man is always persecuted by his son’s creditors;
(5) An inferior of the master of a man’s son is senior to that man;
(6) A grandson of a man’s junior is not his nephew;
(7) A servant of an inferior of a friend of a man’s enemy is never persecuted by that man;
(8) A friend of a superior of the master of a man’s victim is that man’s enemy;
(9) An enemy of a persecutor of a servant of a man’s father is that man’s friend.
The Problem is to deduce some fact about great-grandsons.
[N.B. In this Problem, it is assumed that all the men, here referred to, live in the same town, and that every pair of them are either “friends” or “enemies,” that every pair are related as “senior and junior”, “superior and inferior”, and that certain pairs are related as “creditor and debtor”, “father and son”, “master and servant”, “persecutor and victim”, “uncle and nephew”.]
[9.]
“Jack Sprat could eat no fat:
His wife could eat no lean:
And so, between them both,
They licked the platter clean.”