  |
AにはBCDE が緑であるのが見えている．ABCDE の少なくとも１人は緑であることを知っているが，A が緑であるとは結論できないので離脱しない．
AはBの脳内を考える．もしAが赤であれば，BにはAが赤でCDEが緑であるのが見えており，こう考えるはずだ：
A: B: 自分が赤とも緑とも断定できない．もし自分が赤であれば，CにはABが赤，DEが緑であるのが見えており，こう考えるはずだ：
A: B: C: 自分が赤か緑かは断定できないが，もし自分が赤であれば，DにはABCが赤，Eが緑であるのが見えており，こう考えるはずだ：
A: B: C: D: もし自分が赤であれば，EにはABCDが赤であるのが見えており，こう考えるはずだ
A: B: C: D: E: 自分が緑である．よって離脱する．
A: B: C: D: だがEは離脱していないので，自分は赤ではなく緑である．だから離脱する．
A: B: C: だが実際にはDは離脱していない，よって自分は緑である．だから離脱する．
A: B: だが実際にはCは離脱していない，よって自分は緑である．だから離脱する．
A: だが実際にはBは離脱していない，よって自分は緑である．だから離脱する．
めも
7
