Considere as afirmações:

I. Se a parede é rosa, então Pedro é alto e José é baixo.

II. Se João vai à feira ou se hoje faz Sol, então a calçada é lisa e a parede é rosa.

Sabendo que José NÃO é baixo, podemos concluir logicamente com base nas afirmações I e II que