Sabe-se que existe pelo menos um A que é B. Sabe-se, também, que todo B é C. Segue-se, portanto, necessariamente que
a) todo C é B
b) todo C é A
c) algum A é C
d) nada que não seja C é A
e) algum A não é C
