João, Felipe, Ana, Carla e Eduardo são cinco amigos que moram com seus avós viúvos: Antônio, Juvenal, Lucas, José e Maria, nas cidades de Teresina, Altos, Campo Maior, Timon e Parnaíba, não necessariamente nesta ordem. Além disso, sabe-se que:
• Felipe não é neto de Antônio, Ana mora em Altos com sua avó e João não mora em Campo Maior.
• Quem mora em Teresina é neto de Juvenal, e quem mora em Campo Maior é neto de Antônio.
• Carla nunca foi em Parnaíba, mas conhece Teresina. Além disso, João não mora em Teresina.
• Por fim, a neta de Lucas toca violão e tem amigos em Campo Maior e Teresina.
Pode-se afirmar, com certeza, baseado nas informações acima, que: