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
