///
Mário, Pedro e Renato são jogadores profissionais de futebol de um dos seguintes times: União, Vitória ou Juventude, mas eles não atuam no mesmo time. Assim, se Mário não é jogador do União. Mário ou Pedro é jogador do União. E, se Pedro é jogador do União então Renato é jogador do Vitória, concluímos que: