Se Maria é bonita, então Carlos é rico. Se Ana é feliz, então José é um herói. Sabe-se que Maria é bonita e Ana não é feliz. Logo, pode-se afirmar corretamente que
Carlos é rico ou José é um herói.
Carlos não é rico.
José não é um herói.
José não é um herói e Carlos é rico.
José é um herói.