Considere as afirmações:
I. Pedro não é magro e Antônio é brasileiro.
II. João é alto ou Maria é magra se, e somente se, Antônio é brasileiro.
III. Se João é alto ou Maria é maior de idade, então Pedro é magro.
Nestas condições, podemos deduzir logicamente que