Jev example · Reasoning puzzles

Two knights walk into a puzzle

Separate a forced solution from an underdetermined one.

Model challengeschoice

State

This is the context Jev receives before answering the typed question.

{
  "rules": "Each person is either a knight who always tells the truth or a knave who always lies.",
  "A_says": "We are both knaves.",
  "B_says_nothing": true
}

Typed questions (1)

Your answer

choice

Which assignment is forced by the statement?

Try in Playground

A_knight_B_knave | A is a knight; B is a knave.
A_knave_B_knight | A is a knave; B is a knight.
both_knaves | Both are knaves.
not_unique | More than one assignment is possible.

Try changing the scenario

Have B make a second statement and check the possible assignments.

Catalog source: TypeSafeAI/typesafe-playground, reused under MIT. This is an independent community catalog, not an official TypeSafe AI product.

Background source: Test-family inspiration: BIG-Bench Hard; these puzzles are independently authored.

Browse all examples Load first question