>>60はある意味とんちクイズみたいな答えだと思ったけど、
確かに問題文には、「はいかいいえで必ず答えられる
質問しかしてはいけない」（※）って断りはないね。

ところで>>55の条件が絶対要るって示せるんだろうか？
（正確には、それプラス上の※の条件）

古典的な命題論理みたいな議論でいけるかと思ったけど
頭が混乱してきてわからんくなった・・・。

xに対して真偽が問える命題の集合を、
Hx:xは正直者
Lx:xは嘘つき
Tx:xは適当に答える
R:天国への扉は右
とその論理演算で書けるもの全体として、
命題Pに対する返事が仮に「いいえ」だったら、
(Hx∧¬P)∨(Lx∧P)∨T

・・・みたいな感じで。