赤白帽子問題(タイプ3)問題(2)の解答例を示します。
(2)の解
Dの推理:Aへの質問で、B,C,Dが白ならば、Aは自分が赤だと
すぐにわかるだろう。
ところが、Aは「わからない」と言っている。
したがって、B,C,Dにおいて、白は高々2個である。
Bへの質問で、C,Dが白ならBは自分が赤と分かるはず。
ところが、「わからない」と答えている。
したがって、C,Dにおいて、白は高々1個である。
Cへの質問で、Dが白ならBは自分が赤と分かるはず。
ところが、「わからない」と答えている。
したがって、Dは赤と分かる。