Publicidade|Remover
Sabendo que todo A é B, todo C é B e que nenhum C é A, segue necessariamente que:
Publicidade|Remover