Se amanhã chover, então não irei ao cinema. Se amanhã não chover, então o cachor...

Questão de Raciocínio Lógico da banca NUCEPE aplicada no concurso SEFAZ PI (2015). Confira a resolução completa abaixo:

Se amanhã chover, então não irei ao cinema. Se amanhã não chover, então o cachorro da Zulmira será vacinado. Ora, o cachorro da Zulmira não foi vacinado. Logo: