Sabe-se que é verdade que:
Todo professor é inteligente.
Algum professor é doutor.
Logo, deduz-se que: