23. Some x are y.
24. All y are x′.
25. Some y are x′.
26. All y are x.
27. All x are y, and all y′ are x′.
28. Some y are x′.
29. [No Concl. Fallacy of Like Eliminands not asserted to exist.]
30. Some y are x′.
31. [No Concl. Fallacy of Like Eliminands not asserted to exist.]
32. No x are y′.