Se João não é curioso, então Vitor é engraçado e
Maria não é alta.
Se Rafael é alto, então João não é curioso.
Sabemos que Maria é alta. Logo:
Se Rafael é alto, então João não é curioso.
Sabemos que Maria é alta. Logo: