史上最难逻辑谜题

有代号 A、B、C 的三位神祇，只知祂们名为「真实」「虚谎」「任性」，但不知哪个代号对应哪个名字。

• 真实之神：只说真话
• 虚谎之神：只说假话
• 任性之神：每次回答前在脑中「掷硬币」，随机决定这次说真话还是说假话

你的任务：用三条只能回答「是 / 否」的问题，弄清 A、B、C 各自的身份；每次只向一位神祇发问，可根据之前的回答决定下一问什么。

神祇都懂你的语言，但只用自己的语言回答 da 或 ja。其中一个是「是」、一个是「否」，但你事先不知道 da、ja 各代表什么。

问：三条问题应如何设计？

（本题即 George Boolos 所称的 史上最难逻辑谜题，改编自 Raymond Smullyan 的「武士与无赖」类谜题。）