(2) Partial exclusion on the ground of a similar partial inclusion
(Festino).
[Illustration]
No A is B.
Some C is B.
.'. Some C is not A.
(3) Total exclusion on the ground of exclusion from an including term (Camestres).
[Illustration]
All A is B.
No C is B.
.'. No C is A.
(4) Partial exclusion on the ground of a similar partial exclusion
(Baroko).
[Illustration]
All A is B.
Some C is not B.
.'. Some C is not A.