Das premissas: Nenhum A é B. Alguns C são B, segue, necessariamente, que:
nenhum A é C.
alguns A são C.
alguns C são A.
alguns C não são A.
nenhum C é A.
