Considere como verdadeiras as sentenças a seguir.

I. Se André não é americano, então Bruno é francês.
II. Se André é americano então Carlos não é inglês.
III. Se Bruno não é francês então Carlos é inglês.

Logo, tem-se obrigatoriamente que