Se a parede não é branca, então o cachorro late. Se a parede é branca então o canário não canta. Ora, o canário canta. Logo: