Raciocínio lógicoImplicação lógica

• (NUCEPE 2012)

Carlos, João, Luís e Pedro são proprietários, cada um deles de um cavalo. Cada um deles nomeou o seu cavalo com o nome de algum dos amigos e de maneira que os cavalos têm nomes diferentes. Um dia, eles estão cavalgando juntos e:

- Nenhum deles está montando seu próprio cavalo ou o cavalo que tem o seu nome;

- Luís está montando o cavalo de Carlos;

- O cavalo de Pedro está montado pelo cavaleiro que tem o mesmo nome do cavalo de Luís;

- O proprietário do cavalo com nome Carlos monta o cavalo com nome Pedro.

Qual o nome do cavalo que tem como proprietário aquele que monta o cavalo chamado Luís?