Se chover, então o jogo será adiado. Se chover e ventar, então o jogo será cancelado. Sabe-se que choveu. Pode-se certamente concluir que