14. Some x are y', and some x' are y. Or some y are x', and some y' are x. i.e. Some green-eyed cats are bad-tempered, and some, that have not green eyes, are good-tempered. Or, some good-tempered cats have not green eyes, and some bad-tempered ones have green eyes.
15. Some x are y, and no x' are y'. Or, some y are x, and no y' are x'. i.e. Some green-eyed cats are good-tempered, and none, that are not green-eyed, are bad-tempered. Or, some good-tempered cats have green eyes, and none, that are bad-tempered, have not green eyes.
16. All x are y', and all x' are y. Or, all y are x', and all y' are x. i.e. All green-eyed cats are bad-tempered and all, that have not green eyes, are good-tempered. Or, all good-tempered ones have eyes that are not green, and all bad-tempered ones have green eyes.
6. Larger Diagram.
Propositions represented.
__________
--------------- ---------------
| | | | | |
| ---|--- | | ---|--- |
| | 0 | 0 | | | | | | |
1. |---|---|---|---| 2. |-1-|---|---|---|
| | | | | | | | | |
| ---|--- | | ---|--- |
| | | | | |
--------------- ---------------
--------------- ---------------
| | | | | 0 |
| ---|--- | | ---|--- |
| | 0 | 0 | | | | | | |
3. |---|---|---|---| 4. |---|---|---|---|
| | - | | | | | | |
| ---|--- | | ---|--- |
| | | | | 0 |
--------------- ---------------
--------------- ---------------
| 0 | | | | |
| ---|--- | | ---|--- |
| | 0 | 0 | | | | 0 | 1 | |
5. |---|---|---|---| 6. |---|---|---|---|
| | 1 | | | | | 0 | | |
| ---|--- | | ---|--- |
| 0 | | | | |
--------------- ---------------
--------------- ---------------
| | | | | 0 |
| ---|--- | | ---|--- |
| | 0 | 0 | | | | | | |
7. |---|---|---|---| 8. |---|---|---|---|
| | 0 | 1 | | | | 0 | 0 | |
| ---|--- | | ---|--- |
| | | | | 0 |
--------------- ---------------