Todo professor é inteligente e algum professor é paciente. Paulo é inteligente, ...

Questão de Raciocínio Lógico da banca FUNRIO aplicada no concurso IFB BA (2014). Confira a resolução completa abaixo:

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