João, Felipe, Ana, Carla e Eduardo são cinco amigos que moram com seus avós viúvos: ...

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: