Antônio, Benedito, Carlos e Domingos participam de uma eleição em que somente 3 ...

Questão de Raciocínio Lógico da banca FCC aplicada no concurso TJ PE (2012). Confira a resolução completa abaixo:

Antônio, Benedito, Carlos e Domingos participam de uma eleição em que somente 3 deles serão escolhidos como conselheiros de um prédio, em função da quantidade de votos recebidos. Após o resultado da eleição, em que não houve empates, cada um deu uma declaração:

Antônio: Benedito foi eleito.

Benedito: Carlos não obteve melhor resultado que Antônio.

Carlos: Domingos não foi eleito.

Domingos: Antônio não está mentindo.

Sabendo-se que a pessoa que não foi eleita deu uma declaração falsa e todos os outros falaram a verdade, então,