仮にそのスタート時は気高しとすれば「この刺入部位はイベント用だがしかしそれは収め忘れるということはない」ということは誤っている
fact1: 仮にそのスタート時がイベント用だとするとこの刺入部位は収め忘れなくてそれに気高しということはない fact2: もしもあるものは仮処分申請だとすれば「それはイベント用だ一方で入り過ぎない」ということは成り立たない fact3: もしもその行き止まりはイベント用でないとすれば「この刺入部位はイベント用でしかも収め忘れる」ということは間違っている fact4: 行儀良くない物は仮処分申請である一方で収め忘れない fact5: もしその行き止まりはイベント用でないとしたら「この刺入部位はイベント用だがしかし収め忘れるということはない」ということは嘘だ fact6: 「この刺入部位はイベント用であるし更にそれは収め忘れる」ということは偽だ fact7: この刺入部位はイベント用であるが収め忘れない fact8: そのスタート時は上陸地でなくておまけにイベント用でない fact9: もし「その行き止まりはイベント用だ」ということは正しいとしたらそのスタート時は上陸地でないしそれは気高しない
void -> assump2: 以下のように仮定する。その行き止まりはイベント用である; fact9 & assump2 -> int1: そのスタート時は上陸地でないし気高しということはない; int1 -> int2: そのスタート時は気高しない; void -> assump1: 以下のように仮定する。そのスタート時は気高し; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その行き止まりはイベント用でない; int4 & fact5 -> int5: 「この刺入部位はイベント用だけれど収め忘れない」ということは嘘だ; [assump1] & int5 -> hypothesis;
「この刺入部位はイベント用であるが入り過ぎない」ということは偽だ
fact10 -> int6: 仮にこの刺入部位は仮処分申請であるとすれば「イベント用である一方で入り過ぎない」ということは成り立たない; fact11 -> int7: もしもこの刺入部位が行儀良いということはないとするとそれが仮処分申請だしさらにそれは収め忘れるということはない;
$facts$ = fact1: 仮にそのスタート時がイベント用だとするとこの刺入部位は収め忘れなくてそれに気高しということはない fact2: もしもあるものは仮処分申請だとすれば「それはイベント用だ一方で入り過ぎない」ということは成り立たない fact3: もしもその行き止まりはイベント用でないとすれば「この刺入部位はイベント用でしかも収め忘れる」ということは間違っている fact4: 行儀良くない物は仮処分申請である一方で収め忘れない fact5: もしその行き止まりはイベント用でないとしたら「この刺入部位はイベント用だがしかし収め忘れるということはない」ということは嘘だ fact6: 「この刺入部位はイベント用であるし更にそれは収め忘れる」ということは偽だ fact7: この刺入部位はイベント用であるが収め忘れない fact8: そのスタート時は上陸地でなくておまけにイベント用でない fact9: もし「その行き止まりはイベント用だ」ということは正しいとしたらそのスタート時は上陸地でないしそれは気高しない ; $hypothesis$ = 仮にそのスタート時は気高しとすれば「この刺入部位はイベント用だがしかしそれは収め忘れるということはない」ということは誤っている ; $proof$ = 
void -> assump2: 以下のように仮定する。その行き止まりはイベント用である; fact9 & assump2 -> int1: そのスタート時は上陸地でないし気高しということはない; int1 -> int2: そのスタート時は気高しない; void -> assump1: 以下のように仮定する。そのスタート時は気高し; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その行き止まりはイベント用でない; int4 & fact5 -> int5: 「この刺入部位はイベント用だけれど収め忘れない」ということは嘘だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にそのスタート時がイベント用だとするとこの刺入部位は収め忘れなくてそれに気高しということはない
事実2: もしもあるものは仮処分申請だとすれば「それはイベント用だ一方で入り過ぎない」ということは成り立たない
事実3: もしもその行き止まりはイベント用でないとすれば「この刺入部位はイベント用でしかも収め忘れる」ということは間違っている
事実4: 行儀良くない物は仮処分申請である一方で収め忘れない
事実5: もしその行き止まりはイベント用でないとしたら「この刺入部位はイベント用だがしかし収め忘れるということはない」ということは嘘だ
事実6: 「この刺入部位はイベント用であるし更にそれは収め忘れる」ということは偽だ
事実7: この刺入部位はイベント用であるが収め忘れない
事実8: そのスタート時は上陸地でなくておまけにイベント用でない
事実9: もし「その行き止まりはイベント用だ」ということは正しいとしたらそのスタート時は上陸地でないしそれは気高しない

仮説: 仮にそのスタート時は気高しとすれば「この刺入部位はイベント用だがしかしそれは収め忘れるということはない」ということは誤っている
1. 仮定2: 以下のように仮定する。その行き止まりはイベント用である
2. 事実9と仮定2から、推論1: "そのスタート時は上陸地でないし気高しということはない"が導かれる
3. 推論1から、推論2: "そのスタート時は気高しない"が導かれる
4. 仮定1: 以下のように仮定する。そのスタート時は気高し
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その行き止まりはイベント用でない"が導かれる
7. 推論4と事実5から、推論5: "「この刺入部位はイベント用だけれど収め忘れない」ということは嘘だ"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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