Se Alice é feliz, Otávio é rico. Se Otávio é rico, Elga não é feliz. Se Elga não é feliz, Alice é feliz. A análise do encadeamento lógico dessas três afirmações permite concluir que elas:
Se Alice é feliz, Otávio é rico. Se Otávio é rico, Elga não é feliz. Se Elga não...
Questão de Raciocínio Lógico da banca ESAF aplicada no concurso ANEEL (2006). Confira a resolução completa abaixo: