All D is E
∴ No A is E
Arranged logically and symbolized:
(A) ∴ All (M)
D is (G)
E
(E) No (S)
A is (M)
D
(E) ∴ No (S)
A is (G)
E
Proof: “G” is distributed in the conclusion but not in the major premise. Fallacy of illicit major. Hence no other premise can be negative.
We may now consider the completed syllogisms of the regressive sorites.
All A is B
All C is A