The Game of Logic

by Lewis Carroll

All x are m; &there4 All x are y'.
All y are m'. All y are x'.

i.e. Sugar is not salt.
Salt is not sugar.

---------------
| | |
| ---|--- |
| | 1 | 0 | |
27. |---|---|---|---| -------
| | | 0 | | | 1 | |
| ---|--- | |---|---|
| | | | | |
--------------- -------

Let "Things" be Universe; m="eggs";
x="hard-boiled"; y="crackable".

Some m are x; &there4 Some x are y.
No m are y'.

i.e. Some hard-boiled things can be cracked.

---------------
| 0 | |
| ---|--- |
| | 0 | 0 | |
28. |---|---|---|---| -------
| | | | | | 0 | |
| ---|--- | |---|---|
| 0 | | | | |
--------------- -------

Let "persons" be Universe; m="Jews"; x="that
are in the house"; y="that are in the garden".

No m are x; &there4 No x are y.
No m' are y.

i.e. No persons, that are in the house, are also in
the garden.