Amaral, Bentes, Carvalho, Dantas e Esteves irão votar para a escolha de um, dentre eles, para representá-los em uma assembleia. Cada um deve escolher uma única pessoa diferente de si própria. Sabe-se que:

− Amaral não votou em Dantas, nem em Bentes.

− Carvalho votou ou em Esteves ou em Bentes.

− Dantas não votou em Amaral.

− Esteves votou em Carvalho.

− Bentes votou na mesma pessoa que Carvalho votou.

Apurados os cinco votos, todos eles válidos, Esteves venceu a disputa com 3 votos, e Carvalho e Bentes ficaram empatados em segundo lugar, com 1 voto cada. Sendo assim,