Considere as seguintes proposições, todas com valor lógico verdadeiro:
I. Se Maria não é bonita, então João é louco;
II. Se Ana é baiana, então Rex é pastor;
III. Se Ana não é baiana, então Maria é bonita;
IV. Se Rex é pastor, então João não é louco.
Com base no raciocínio lógico dedutivo, pode-se garantir que: