Se a afirmação "Se chover, a festa será cancelada" é verdadeira, e sabemos que a festa não foi cancelada, então:
a afirmação é falsa.
a festa será remarcada.
não choveu.
a festa foi realizada.
choverá.
