Sabe-se que algum B não é A e que algum C é A. Podemos afirmar com certeza que:
Algum A não é B.
Algum A não é C.
Nenhum B é C.
Algum B é C.
Algum A é C.