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
