§ 634. CANON. If one term wholly includes or excludes another, which wholly or partly includes a third, the first term wholly or partly includes or excludes the third.
Here four cases arise—
[Illustration]
(1) Total inclusion (Barbara).
All B is A.
All C is B.
.'. All C is A.
[Illustration]
(2) Partial inclusion (Darii).
All B is A.
Some C is B.
.'. Some C is A.
[Illustration]
(3) Total exclusion (Celarent).