100人の村人がいる。
仮に1さん〜100さんとする。
そこで1さんはこう考えるだろう。
「自分がもし赤ならば、2さんからは98人が青で1さんだけが赤という状況に見えるはずだ。
そこで2さんはこう考えるだろう。
「自分がもし赤ならば、3さんからは97人が青で1さんと2さんだけが赤という状況に見えるはずだ。
そこで3さんはこう考えるだろう。
「自分がもし赤ならば、4さんからは96人が青で1さんと2さんと3さんだけが赤という状況に見えるはずだ。
そこで4さんはこう考えるだろう。
「自分がもし赤ならば…
これを繰り返すと、100さんからは99人が赤、という状況が想定される。
「青が必ず一人は存在することが保証される」なら、他の全員が赤のとき100さんは自分が青であることを悟って一日目に村を出ていくだろう。