Se João é alto, então Maria é cordial. Se Mônica não é calma, então Maria não é cordial. Se Mônica é calma, então Alfredo não é honesto. Logo:
Se Alfredo é honesto, então João é alto.
Se Alfredo não é honesto, então João é alto.
Se João não é alto, então Alfredo não é honesto.
Se João é alto, então Alfredo não é honesto.
Se João é alto, então Alfredo é honesto.
