Sabe-se que:
∙ Todo A é B.
∙ Nem todo B é C.
É correto concluir que:
A
todo A é C;
B
nenhum A é C;
C
algum C não é B;
D
algum B não é C;
E
algum C não é A.