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