José, Antônio, Pedro e João torcem por times de futebol em Recife. Sobre eles, sabe-se que
José é tricolor ou Antônio é rubro-negro.
Se João é alvirrubro, então Pedro não é alviverde.
Se Antônio é rubro-negro, então Pedro é alviverde.
João é alvirrubro.
Logo: