Se todo A é B e nenhum B é C, é possível concluir, corretamente, que:
nenhum B é A.
nenhum A é C.
todo A é C.
todo C é B.
todo B é A.