|0 | |
-----------


We have now to express the other Premiss, namely, "some new Cakes
are unwholesome (Cakes)", i.e. "some x-Cakes are m'-(Cakes)". This
tells us that some of the Cakes in the x-half of the cupboard are
in its m'-compartments. Hence ONE of the two compartments, No.
9 and No. 10, is 'occupied': and, as we are not told in WHICH of
these two compartments to place the red counter, the usual rule
would be to lay it on the division-line between them: but, in this
case, the other Premiss has settled the matter for us, by declaring
No. 9 to be EMPTY. Hence the red counter has no choice, and MUST
go into No. 10, thus:--


-----------
|0 | 1|
| --|-- |
| | | | |
|--|-----|--|
| | | | |
| --|-- |
|0 | |
-----------


And now what counters will this information enable us to place in
the SMALLER Diagram, so as to get some Proposition involving x and
y only, leaving out m? Let us take its four compartments, one by