[Fallacy of Unlike Eliminands
with an Entity-Premiss.]

10. x_{1}m'_{0} + y'_{1}m_{0} > x_{1}y'_{0} + y'_{1}x_{0} [Fig. I (b).
i.e. "All x are y, and all y' are x'."

11. mx_{0} + y'_{1}m_{0} > nothing.1
[Fallacy of Like Eliminands
not asserted to exist.]

12. xm_{0} + y_{1}m'_{0} > y_{1}x_{0} [Fig. I (a).
i.e. "All y are x'."

13. m'_{1}x'_{0} + ym_{0} > x'y_{0} [Fig. I.
i.e. "No x' are y."

14. m_{1}x'_{0} + m'_{1}y'_{0} > x'y'_{0} [Fig. I.
i.e. "No x' are y'."

15. xm_{0} + m'y_{0} > xy_{0} [Fig. I.
i.e. "No x are y."

16. x_{1}m_{0} + y_{1}m'_{0} > (x_{1}y_{0} + y_{1}x_{0}) [Fig. I (b).
i.e. "All x are y' and all y are x'."

17. xm_{0} + m'_{1}y'_{0} > xy'_{0} [Fig. I.
i.e. "No x are y'."

18. xm'_{0} + my_{0} > xy_{0} [Fig. I.
i.e. "No x are y."

19. m_{1}x'_{0} + m_{1}y_{0} > xy'_{1} [Fig. III.
i.e. "Some x are y'."

20. mx_{0} + m'_{1}y'_{0} > xy'_{0} [Fig. I.
i.e. "No x are y'."

21. x_{1}m'_{0} + m'y_{1} > x'y_{1} [Fig. II.
i.e. "Some x' are y."

22. xm_{1} + y_{1}m'_{0} > nothing.
[Fallacy of Unlike Eliminands
with an Entity-Premiss.]

23. m_{1}x'_{0} + ym_{1} > xy_{1} [Fig. II.
i.e. "Some x are y."

24. xm_{0} + y_{1}m'_{0} > y_{1}x_{0} [Fig. I (a).
i.e. "All y are x'."

25. mx'_{1} + my'_{0} > x'y_{1} [Fig. II.
i.e. "Some x' are y."

26. mx'_{0} + y_{1}m'_{0} > y_{1}x'_{0} [Fig. I (a).
i.e. "All y are x."

27. x_{1}m_{0} + y'_{1}m'_{0} > (x_{1}y'_{0} + y'_{1}x_{0}) [Fig. I (b).
i.e. "All x are y, and all y' are x'."

28. m_{1}x_{0} + my_{1} > x'y_{1} [Fig. II.
i.e. "Some x' are y."

29. mx_{0} + y_{1}m_{0} > nothing.
[Fallacy of Like Eliminands
not asserted to exist.]

30. x_{1}m_{0} + ym_{1} > x'y_{1} [Fig. II.
i.e. "Some y are x'."

31. x_{1}m'_{0} + y_{1}m'_{0} > nothing.
[Fallacy of Like Eliminands
not asserted to exist.]
pg147
32. xm'_{0} + m_{1}y'_{0} > xy'_{0} [Fig. I.
i.e. "No x are y'."

33. mx_{0} + my_{0} > nothing.
[Fallacy of Like Eliminands
not asserted to exist.]

34. mx'_{0} + ym_{1} > xy_{1} [Fig. II.
i.e. "Some x are y."

35. mx_{0} + y_{1}m'_{0} > y_{1}x_{0} [Fig. I (a).
i.e. "All y are x'."

36. m_{1}x_{0} + ym_{1} > x'y_{1} [Fig. II.
i.e. "Some x' are y."

37. m_{1}x'_{0} + ym_{0} > xy