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: