* x="sugar";
* y="salt". 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.