Se Joana é alta então Marcos é baixo. Se Marcos é baixo então Pedro é atleta. Se Pedro é atleta então Maria passa na prova. Sabe-se que Maria não passa na prova. Portanto, é válido concluir que: