操作方法
証明路の画面は「直進地点」または「分岐地点」が「通路」で連結されて表示されています。上下左右のキーで操作し、ゴールに到達すれば終了です。最も下に表示された「直進地点」または「分岐地点」を操作することができます。
「直進地点」の操作
「直進地点」では以下の操作ができます。
- 「↓」キーで次に進みます。(次に進めるとき)
- 「↑」キーで前に戻ります。(戻れるとき)
「分岐地点」の操作
「分岐地点」では以下の操作ができます。
- 「←」キー・「→」キーで次に進む道を選択します。(選択肢が複数あるとき)
- 「↓」キーで次(選択した道)に進みます。
- 「↑」キーで前に戻ります。(戻れるとき)
表示の内容
最初は以下のように表示されています。これは「直進地点」です。

「↓」キーで以下の表示になります。最も下にあるのは「分岐地点」です。この「分岐地点」を操作することができます。

「↓」キーを何回か入力すると、以下のような表示になります。最も下にあるのは「直進地点」です。この「直進地点」を操作することができます。最も下の「直進地点」は異なる色で表示されます。

「↓」キーで以下の表示になります。最も下にあるのは「分岐地点」です。この「分岐地点」を操作することができます。最も下の「分岐地点」は異なる色で表示されます。

「↓」キーを何回か入力すると、以下のような表示になります。「p | a」が成立したので「p | a」を選択する地点に戻ります。「p | a」は異なる色で表示されます。

「↓」キーを何回か入力すると、以下のような表示になります。すべての条件が成立するとゴールに行きます。













