raciocinio logico

[sanches03]

Todo professor é inteligente e algum professor é paciente. Paulo é inteligente, Sérgio não é professor, Carlos não é inteligente e Antônio é paciente. Logo, conclui-se necessariamente que
A)Paulo é professor.
B)Sérgio não é inteligente.
C)Antônio é professor.
D)Antônio é inteligente.
E)Carlos não é professor.

[DanielFerreira]

Opção E), certo?!!