The Game of Logic

by Lewis Carroll

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

i.e. Some rich persons are not Patagonians.

---------------
| 0 | |
| ---|--- |
| | - | |
22. |---|---|---|---| -------
| | 0 | 0 | | | | |
| ---|--- | |---|---|
| 0 | | | 0 | |
--------------- -------

Let "creatures" be Universe; m="teetotalers";
x="that like sugar"; y="nightingales".

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

i.e. No nightingales dislike sugar.

---------------
| | |
| ---|--- |
| | 0 | 0 | |
23. |-1-|---|---|---| -------
| | 0 | | | | | |
| ---|--- | |---|---|
| | | | | |
--------------- -------

Let "food" be Universe; m="wholesome";
x="muffins"; y="buns".

No x are m;
All y are m.

There is 'no information' for the smaller Diagram; so no Conclusion can be drawn.