13. No x′ are y.
14. No x′ are y′.
15. No x are y.
16. All x are y′, and all y are x′.
[pg128]17. No x are y′.
18. No x are y.
19. Some x are y′.
20. No x are y′.
21. Some y are x′.
22. [No Concl. Fallacy of Unlike Eliminands with an Entity-Premiss.]