João não é botafoguense nem Carlos é flamenguista.

Se Carlos é flamenguista então João é botafoguense.

Se João não é botafoguense então Carlos não é flamenguista.

Se Carlos não é flamenguista então João não é botafoguense.

Se Carlos é botafoguense então João é flamenguista.