Se Maria não é casada, então Ricardo não é feliz. Se Maria é casada, então Roberto é feliz. Sendo verdade que Maria é casada, então conclui-se, corretamente, que
Ricardo não é feliz.
Ricardo é feliz.
Roberto não é feliz.
Roberto é feliz.
Maria é feliz.
