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: