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