Se é verdade que “Alguns A são B” e que “Nenhum C é B”, então é necessariamente verdadeiro que:
Algum A é C
Nenhum A é C
Nenhum C é A
Algum C é A
Algum A não é C