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