Três formigas, das quais duas carregam folhas, andam formando uma fila. Sabe-se que a que carrega folha verde sempre diz a verdade; a que carrega folha amarelada às vezes diz a verdade; e a que não carrega qualquer folha sempre mente. A que está na frente diz “a formiga que carrega folha verde está no meio”. A que está no meio diz “eu carrego a folha amarelada”. A que está atrás diz “a formiga que está no meio não carrega folha alguma”. Logo, pode-se concluir que a formiga que
A
está atrás é a que sempre mente.
B
carrega a folha amarelada está no meio.
C
carrega folha verde está atrás das outras duas.
D
sempre mente está à frente daquela que carrega a folha amarelada.