Todo A é B, e todo C não é B, portanto:
Nenhum B é A.
Algum A é C.
Algum B é C.
Nenhum A é C.
Nenhum A é B.