Dados e declarações
Cores: vermelho, preto, cinza.
Nomes: Paulo, Pedro, Mário.
Municípios: A, B, C.
Declarações:
Motorista vermelho: “não sou do município B nem do município C.” → vermelho = município A.
Motorista preto: “meu nome não é Pedro nem Mário.” → preto = Paulo.
Motorista cinza: “nem eu nem Pedro moramos no município B.” → cinza ≠ B e Pedro ≠ B.
Dedução
Já sabemos: vermelho → A; preto → Paulo; cinza ≠ B.
Como Pedro ≠ B e cinza ≠ B, quem sobra para morar em B é Paulo. Logo, Paulo (preto) mora em B.
Restam os municípios A (já é o vermelho) e C para Pedro e Mário; como o cinza não é B e A já está ocupado pelo vermelho, cinza = C.
Assim, vermelho = A; preto = Paulo/B; cinza = C.
Os nomes restantes (Pedro e Mário) ocupam vermelho e cinza. A declaração do motorista cinza se refere a “eu” e a “Pedro” como pessoas distintas (interpretação natural do enunciado), então cinza ≠ Pedro, logo cinza = Mário e vermelho = Pedro.
Resultado final:
Carro vermelho: Pedro, município A.
Portanto a alternativa correta é e) o motorista do carro vermelho é Pedro e mora no município A.
