Alberto, Carlos e Mário são engenheiro, médico e professor, não necessariamente nessa ordem. Além disso, eles são casado, noivo e solteiro, mas não se sabe quem é casado, solteiro e noivo. Sabendo-se que:

I. Alberto não é solteiro nem médico;

II. o solteiro é engenheiro;

III. o médico é noivo; e

IV. Carlos não é solteiro,

conclui-se que Mário é: