Se Rafael é alto e Antônio não é pessimista, então Joana é ...
Se Rafael é alto e Antônio não é pessimista, então Joana é produtiva. Se Joana é produtiva, então Marta é trabalhadora. Sabe-se que Marta não é trabalhadora.
Logo, podemos concluir, corretamente, que: