Você está um labirinto e se depara com uma bifurcação. Um dos caminhos leva a saída e o outro a um caminho sem volta. Para ajudá-lo a decidir a direção que irá tomar, existem dois guardas: Karl e Friedrich. Cada um deles sempre diz a verdade ou sempre mente, ou seja, ambos podem sempre mentir, ambos podem sempre dizer a verdade, ou um sempre dizer a verdade e o outro sempre mentir. Para descobrir qual caminho conduz a saída, você pode fazer três (e apenas três) perguntas, escolhendo-as da seguinte relação:
P1: O outro guarda é da mesma natureza que você (isto é, se você é mentiroso ele também é, e se você é veraz ele também é)?
P2: Você é o guarda do caminho que leva a saída?
P3: O outro guarda é mentiroso?
P4: Você fala a verdade?
Então, uma possível sequência de três perguntas que é logicamente suficiente para assegurar, seja qual for a natureza dos guardas, que você identifique corretamente a porta que leva a saída, é: