Em 2010, três Técnicos Judiciários, Alfredo, Benício e Carl...

Em 2010, três Técnicos Judiciários, Alfredo, Benício e Carlos, viajaram em suas férias, cada um para um local diferente. Sabe-se que:

- seus destinos foram: uma praia, uma região montanhosa e uma cidade do interior do Estado;

- as acomodações por ele utilizadas foram: uma pousada, um pequeno hotel e uma casa alugada;

- o técnico que foi à praia alojou-se em uma pousada;

- Carlos foi a uma cidade do interior;

- Alfredo não foi à praia;

- quem hospedou-se em um hotel não foi Carlos.

Nessas condições, é verdade que