自分が一重瞼なのか二重瞼なのかわからない人がn人いて、n人は毎朝を顔を合わせる。
すると天の声が聞こえてきて、二重瞼の人の人数に関する自明でない何かを言う。
n人は自分の瞼の状態がわかると40秒後に心臓麻痺で死ぬ仕組みになっている。
n人は天の声を最も自然な形で信じ込む。

実はn人は遅かれ早かれ全員死ぬ（驚くべきことに天の声が明らかな嘘のときも成り立つ）ことが証明できるが、難しいのでn=3の場合を証明せよ。

例えばn=2として2人とも一重瞼とする。天の声が「2人とも二重瞼である」といったとき、A君は天の声が嘘だとわかり、もし自分が二重瞼なら40秒後にB君が死ぬはずであると結論する。
しかしB君は死なないので自分が一重瞼であることがわかり、40秒後にA君は死ぬ。同じことがB君にも言えるので2人の心臓は同時に麻痺を起こす。

・「毎朝」という条件は特に意味がない。
・「自明でない何か」とは、例えば「少なくとも〜人は一重瞼である」のように、「情報量としてゼロではない断定的なセリフ」を指す。