Todo B é A, e todo C não é A, portanto,
todo A é B.
algum A é C.
nenhum B é A.
nenhum A é B.
nenhum B é C.