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: