Se todo A é também B, e nenhum C é B, então é verdade que
nenhum B é A.
nenhum A é C.
nenhum A é B.
algum B é C.
algum A é C.