-----------
| | |
| --x-- |
| | | | |
|--y--m--y'-|
| | | | |
| --x'- |
| | |
-----------
- No x are m.
- Some y are m'.
- All m are x'.
- No m' are y'.
- No m are x; All y are m.
- Some x are m; No y are m.
- All m are x'; No m are y.
- No x' are m; No y' are m'.
[See pp. 67,8]
Taking "rabbits" as Universe; m="greedy"; x="old"; and y="black"; represent
- No old rabbits are greedy.
- Some not-greedy rabbits are black.
All white rabbits