3. Some x are y′.
4. [No Concl. Fallacy of Like Eliminands not asserted to exist.]
5. Some x′ are y′.
6. [No Concl. Fallacy of Like Eliminands not asserted to exist.]
7. Some x are y′.
8. Some x′ are y′.
9. [No Concl. Fallacy of Unlike Eliminands with an Entity-Premiss.]
10. All x are y, and all y′ are x′.
11. [No Concl. Fallacy of Like Eliminands not asserted to exist.]
12. All y are x′.