Se Cássio lavou a cozinha, nem Arthur nem Pedro varreram o quintal. Se Ana não deu banho no cachorro, Joana lavou a calçada. Se Joana não lavou a calçada, choveu de manhã e Mauro não lavou o carro. Ora, não choveu de manhã, logo:
