| xm0 † ym0 | x1m0 † ym0 |
| xm0 † y1m0 | x1m0 † y1m0 |
[pg083](2) Fallacy of Unlike Eliminands with an Entity-Premiss.
Here the given Pair may be represented by (xm0 † ym′1) with or without x1 or m1.
These, set out on Triliteral Diagrams, are
| xm0 † ym′1 | x1m0 † ym′1 | m1x0 † ym′1 |
(3) Fallacy of two Entity-Premisses.
Here the given Pair may be represented by either (xm1 † ym1) or (xm1 † ym′1).
These, set out on Triliteral Diagrams, are
| xm1 † ym1 | xm1 † ym′1 |