///
Antônio tem 3 amigos (Marcos, Luís e David) que moram, cada um deles, em apenas uma das cidades: Brasília, Fortaleza e Salvador. Eles têm características físicas diferentes, sendo um loiro, um moreno e um ruivo. Sabe-se que
• Marcos não mora em Brasília.
• Luís não mora em Fortaleza nem é ruivo.
• o amigo que mora em Brasília não é loiro.
• Marcos não é loiro nem ruivo.
• o amigo que mora em Salvador é loiro.
Nessas condições, é correto afirmar que David mora em