Sabe-se que é verdade que:

Todo professor é inteligente.

Algum professor é doutor.

Logo, deduz-se que: