Describa una habitación con puertas numeradas. Cada puerta tiene un guardián. Un guardiano siempre dice la verdad sobre proposiciones verdaderas pero miente sobre las falsas; el otro hace lo inverso (o sigue una lógica paraleja compleja). El usuario debe recibir un conjunto de declaraciones (ej: 'Si la puerta 1 es segura, entonces la puerta 2 es mortal') escritas en lenguaje formal proposicional y natural, y deducir la única ruta de escape válida.