「おうちに帰っていいか？」のルールで考えてもよさそう＞＜
「お片付けしたら帰っていいよ」
「箒で掃除したあとで」
「戸締まりしたら」
「帰るよって報告したら」
ってルールが増えていくとして、falseであるべきって発想だと、最初は「無条件で帰っちゃダメ」になっちゃう＞＜
この4条件が揃ったあとの視点から見ると、1から3の条件が出た時にだけ穴があって、それと矛盾しないようにするなら条件が0の時にも穴がある状態、つまり1から3の時と同じようにしなければならなくなる訳だから同じようにtrueが返ってこないとおかしい＞＜