Questão de Raciocínio Lógico

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: