4. Some x are not-y.

5. Some not-y are x.

6. No not-x are y.

7. Some not-x are not-y.

8. All not-x are not-y.

9. Some not-y exist.

10. No not-x exist.

11. Some y are x, and some are not-x.

12. All x are y, and all not-y are not-x.


[See pp. 62, 3]

Taking "nations" as Universe; x="civilised";
y="warlike";

13. No uncivilised nation is warlike.

14. All unwarlike nations are uncivilised.

15. Some nations are unwarlike.