これが完成形です。
Level Hardクリアのコツは、根気よく仮定する、これしかないでしょう。 ちなみに、かなりやりなれた人でも、 自力でLevel Hardを解くのには1時間、2時間平気でかかるでしょう。 それほど手強いのです。
もしかしたら、今回挙げた例題は、最初のとっかかりがあるだけ簡単なのかもしれません。 難しいものになると、最初にあんなに確定しないことがあります。 それでも、基本的な考え方は同じですので、あきらめずに頑張ってください。