Em uma aldeia moram estrangeiros e nativos, e existem dois tipos de pessoas: as que contam somente verdades e as que contam somente mentiras. Além disso, os dois tipos de pessoas são indistinguíveis. Os moradores X e Y da aldeia travam o diálogo seguinte:
X: Y é um estrangeiro mentiroso. Eu sou nativo. Y: X está contando a verdade. Qual das afirmações seguintes é consequência das anteriores?