もしその官園は上行すれば「あの六時頃は速度計でないししかも乗らない」ということは間違いである
fact1: 「あの六時頃は速度計だということはないが乗る」ということは嘘である fact2: もしあの六時頃は勇ましいとすれば「その官園は速度計でなくてそれに上行しない」ということは真実だ fact3: もしその桜プレジデントは乗るとすると「あの六時頃は速度計でなくてそれは乗らない」ということは嘘である fact4: もしその桜プレジデントは乗るなら「あの六時頃は速度計である一方でそれは乗らない」ということは事実と異なる fact5: 仮にその官園が乗るならばあの桜プレジデントは上行する fact6: 仮になんらかの物が勇ましいならばそれは乗る fact7: その桜プレジデントは乗るとすると「その官園は上行しないし勇ましくらない」ということは誤っている fact8: その官園は上行すれば「「あの六時頃は速度計であるということはないけれどそれは乗る」ということは成り立たない」ということは成り立つ fact9: 仮に「その桜プレジデントは乗る」ということは本当であるとしたら「あの六時頃は速度計でないけれどそれは乗る」ということは偽だ fact10: もし仮にその官園が上行するとしたらその桜プレジデントは勇ましい fact11: あの六時頃は速度計でないし乗らない fact12: 仮にその桜プレジデントが乗るとしたらあの六時頃は速度計でないし乗らない
void -> assump1: 以下のように仮定する。「その官園は上行する」ということは本当である; fact10 & assump1 -> int1: その桜プレジデントは勇ましい; fact6 -> int2: 仮にその桜プレジデントが勇ましいとすると乗る; int1 & int2 -> int3: その桜プレジデントは乗る; int3 & fact3 -> int4: 「あの六時頃は速度計でないし乗らない」ということは偽だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「あの六時頃は速度計だということはないが乗る」ということは嘘である fact2: もしあの六時頃は勇ましいとすれば「その官園は速度計でなくてそれに上行しない」ということは真実だ fact3: もしその桜プレジデントは乗るとすると「あの六時頃は速度計でなくてそれは乗らない」ということは嘘である fact4: もしその桜プレジデントは乗るなら「あの六時頃は速度計である一方でそれは乗らない」ということは事実と異なる fact5: 仮にその官園が乗るならばあの桜プレジデントは上行する fact6: 仮になんらかの物が勇ましいならばそれは乗る fact7: その桜プレジデントは乗るとすると「その官園は上行しないし勇ましくらない」ということは誤っている fact8: その官園は上行すれば「「あの六時頃は速度計であるということはないけれどそれは乗る」ということは成り立たない」ということは成り立つ fact9: 仮に「その桜プレジデントは乗る」ということは本当であるとしたら「あの六時頃は速度計でないけれどそれは乗る」ということは偽だ fact10: もし仮にその官園が上行するとしたらその桜プレジデントは勇ましい fact11: あの六時頃は速度計でないし乗らない fact12: 仮にその桜プレジデントが乗るとしたらあの六時頃は速度計でないし乗らない ; $hypothesis$ = もしその官園は上行すれば「あの六時頃は速度計でないししかも乗らない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「その官園は上行する」ということは本当である; fact10 & assump1 -> int1: その桜プレジデントは勇ましい; fact6 -> int2: 仮にその桜プレジデントが勇ましいとすると乗る; int1 & int2 -> int3: その桜プレジデントは乗る; int3 & fact3 -> int4: 「あの六時頃は速度計でないし乗らない」ということは偽だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「あの六時頃は速度計だということはないが乗る」ということは嘘である
事実2: もしあの六時頃は勇ましいとすれば「その官園は速度計でなくてそれに上行しない」ということは真実だ
事実3: もしその桜プレジデントは乗るとすると「あの六時頃は速度計でなくてそれは乗らない」ということは嘘である
事実4: もしその桜プレジデントは乗るなら「あの六時頃は速度計である一方でそれは乗らない」ということは事実と異なる
事実5: 仮にその官園が乗るならばあの桜プレジデントは上行する
事実6: 仮になんらかの物が勇ましいならばそれは乗る
事実7: その桜プレジデントは乗るとすると「その官園は上行しないし勇ましくらない」ということは誤っている
事実8: その官園は上行すれば「「あの六時頃は速度計であるということはないけれどそれは乗る」ということは成り立たない」ということは成り立つ
事実9: 仮に「その桜プレジデントは乗る」ということは本当であるとしたら「あの六時頃は速度計でないけれどそれは乗る」ということは偽だ
事実10: もし仮にその官園が上行するとしたらその桜プレジデントは勇ましい
事実11: あの六時頃は速度計でないし乗らない
事実12: 仮にその桜プレジデントが乗るとしたらあの六時頃は速度計でないし乗らない

仮説: もしその官園は上行すれば「あの六時頃は速度計でないししかも乗らない」ということは間違いである
1. 仮定1: 以下のように仮定する。「その官園は上行する」ということは本当である
2. 事実10と仮定1から、推論1: "その桜プレジデントは勇ましい"が導かれる
3. 事実6から、推論2: "仮にその桜プレジデントが勇ましいとすると乗る"が導かれる
4. 推論1と推論2から、推論3: "その桜プレジデントは乗る"が導かれる
5. 推論3と事実3から、推論4: "「あの六時頃は速度計でないし乗らない」ということは偽だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。