16. All warlike nations are civilised, and all civilised nations
are warlike.

17. No nation is uncivilised.

__________

Taking "crocodiles" as Universe; x="hungry"; and
y="amiable";

18. All hungry crocodiles are unamiable.

19. No crocodiles are amiable when hungry.

20. Some crocodiles, when not hungry, are amiable; but some
are not.

21. No crocodiles are amiable, and some are hungry.

22. All crocodiles, when not hungry, are amiable; and all
unamiable crocodiles are hungry.

23. Some hungry crocodiles are amiable, and some that are
not hungry are unamiable.

[See pp. 63, 4]