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:
