Some B is A. All B is C. .'. some C is A.
(4) Total exclusion of the first from a term which is wholly included in the second (Felapton).
[Illustration]
No B is A. All B is C. .'. some C is not A.
(5) Total exclusion of the first from a term which is partly included in the second (Ferison).
[Illustration]
No B is A. Some B is C. .'. some C is not A.
(6) Exclusion of the first from part of a term which is wholly included in the second (Bokardo).
[Illustration]
Some B is not A.
All B is C.
.'. Some C is not A.