Data: Given the first completed syllogism of the sorites:
All A is B
All B is C
∴ All A is C
Proof: Let any other premise, such as the second, be particular; this gives the following:
All A is B
Some B is C
∴ Some A is C
Arranged logically: Mood, figure, and distribution indicated.
(I) Some (M)
B is (G)
C