Se há previsão de chuva, então Aline vai ao teatro. Se Aline está de guarda-chuva, então não há previsão de chuva. No dia de hoje, houve previsão de chuva, portanto,