そのオープンスペースはむくつけしない
fact1: 仮に「あの運動障害はむくつけし」ということは事実であるならばあのオープンスペースはむくつけし fact2: そのオープンスペースは一Ｌである fact3: そのオープンスペースは有効高度利用でない fact4: 仮になにがしかのものは泳ぎ始めるなら「上げ易くなくてまたそれは掴み掛かるということはない」ということは真実でない fact5: そのオープンスペースは泳ぎ始める fact6: もし「六大学であるかもしくはチャットするかまたは両方ともな」物はあるとしたら「そのオープンスペースは上げ易くない」ということは事実だ fact7: あのテープドライブは泳ぎ始めるし更に研修する fact8: そのオープンスペースはか細い fact9: もし仮に「チャットする」物があるとするとそのオープンスペースは上げ易いということはない fact10: もしか細い物はイオン交換ポンプであるとするとそれは鑑定しない fact11: 仮にあの坪庭が新機軸創出だしさらにそれは詰め替えるとしたら「怒鳴り出すということはない」ということは本当だ fact12: 「出現し始めるかもしくは気付かすかあるいはどちらもである」ものはある fact13: なにがしかの物は六大学であるかもしくはそれはチャットするかあるいはどちらもだ fact14: とある物は詰め替えるし掴み掛かるとするとそれはむくつけしということはない fact15: あの脛は泳ぎ始める fact16: もし仮にあの計算上益金が掴み掛からないとすれば泳ぎ始めるし加えて六大学である fact17: そのオープンスペースは陥り易い fact18: 「あの総合利用は詰め替える」ということは事実と異ならない fact19: そのオープンスペースは得心する fact20: 「そのオープンスペースは詰め替える」ということは事実と異ならない
fact13 & fact6 -> int1: そのオープンスペースは上げ易くない; void -> assump1: 以下のように仮定する。そのオープンスペースは掴み掛からない; int1 & assump1 -> int2: そのオープンスペースは上げ易くなくてしかも掴み掛からない; fact4 -> int3: そのオープンスペースは泳ぎ始めるとすれば「それは上げ易くないしそれに掴み掛からない」ということは成り立たない; int3 & fact5 -> int4: 「そのオープンスペースは上げ易くなくて加えて掴み掛からない」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのオープンスペースは掴み掛かる; int6 & fact20 -> int7: そのオープンスペースは詰め替えるし掴み掛かる; fact14 -> int8: もしもそのオープンスペースは詰め替えるししかも掴み掛かるとすれば「それはむくつけしない」ということは成り立つ; int7 & int8 -> hypothesis;
そのオープンスペースはむくつけし
$facts$ = fact1: 仮に「あの運動障害はむくつけし」ということは事実であるならばあのオープンスペースはむくつけし fact2: そのオープンスペースは一Ｌである fact3: そのオープンスペースは有効高度利用でない fact4: 仮になにがしかのものは泳ぎ始めるなら「上げ易くなくてまたそれは掴み掛かるということはない」ということは真実でない fact5: そのオープンスペースは泳ぎ始める fact6: もし「六大学であるかもしくはチャットするかまたは両方ともな」物はあるとしたら「そのオープンスペースは上げ易くない」ということは事実だ fact7: あのテープドライブは泳ぎ始めるし更に研修する fact8: そのオープンスペースはか細い fact9: もし仮に「チャットする」物があるとするとそのオープンスペースは上げ易いということはない fact10: もしか細い物はイオン交換ポンプであるとするとそれは鑑定しない fact11: 仮にあの坪庭が新機軸創出だしさらにそれは詰め替えるとしたら「怒鳴り出すということはない」ということは本当だ fact12: 「出現し始めるかもしくは気付かすかあるいはどちらもである」ものはある fact13: なにがしかの物は六大学であるかもしくはそれはチャットするかあるいはどちらもだ fact14: とある物は詰め替えるし掴み掛かるとするとそれはむくつけしということはない fact15: あの脛は泳ぎ始める fact16: もし仮にあの計算上益金が掴み掛からないとすれば泳ぎ始めるし加えて六大学である fact17: そのオープンスペースは陥り易い fact18: 「あの総合利用は詰め替える」ということは事実と異ならない fact19: そのオープンスペースは得心する fact20: 「そのオープンスペースは詰め替える」ということは事実と異ならない ; $hypothesis$ = そのオープンスペースはむくつけしない ; $proof$ = 
fact13 & fact6 -> int1: そのオープンスペースは上げ易くない; void -> assump1: 以下のように仮定する。そのオープンスペースは掴み掛からない; int1 & assump1 -> int2: そのオープンスペースは上げ易くなくてしかも掴み掛からない; fact4 -> int3: そのオープンスペースは泳ぎ始めるとすれば「それは上げ易くないしそれに掴み掛からない」ということは成り立たない; int3 & fact5 -> int4: 「そのオープンスペースは上げ易くなくて加えて掴み掛からない」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのオープンスペースは掴み掛かる; int6 & fact20 -> int7: そのオープンスペースは詰め替えるし掴み掛かる; fact14 -> int8: もしもそのオープンスペースは詰め替えるししかも掴み掛かるとすれば「それはむくつけしない」ということは成り立つ; int7 & int8 -> hypothesis; __PROVED__
事実1: 仮に「あの運動障害はむくつけし」ということは事実であるならばあのオープンスペースはむくつけし
事実2: そのオープンスペースは一Ｌである
事実3: そのオープンスペースは有効高度利用でない
事実4: 仮になにがしかのものは泳ぎ始めるなら「上げ易くなくてまたそれは掴み掛かるということはない」ということは真実でない
事実5: そのオープンスペースは泳ぎ始める
事実6: もし「六大学であるかもしくはチャットするかまたは両方ともな」物はあるとしたら「そのオープンスペースは上げ易くない」ということは事実だ
事実7: あのテープドライブは泳ぎ始めるし更に研修する
事実8: そのオープンスペースはか細い
事実9: もし仮に「チャットする」物があるとするとそのオープンスペースは上げ易いということはない
事実10: もしか細い物はイオン交換ポンプであるとするとそれは鑑定しない
事実11: 仮にあの坪庭が新機軸創出だしさらにそれは詰め替えるとしたら「怒鳴り出すということはない」ということは本当だ
事実12: 「出現し始めるかもしくは気付かすかあるいはどちらもである」ものはある
事実13: なにがしかの物は六大学であるかもしくはそれはチャットするかあるいはどちらもだ
事実14: とある物は詰め替えるし掴み掛かるとするとそれはむくつけしということはない
事実15: あの脛は泳ぎ始める
事実16: もし仮にあの計算上益金が掴み掛からないとすれば泳ぎ始めるし加えて六大学である
事実17: そのオープンスペースは陥り易い
事実18: 「あの総合利用は詰め替える」ということは事実と異ならない
事実19: そのオープンスペースは得心する
事実20: 「そのオープンスペースは詰め替える」ということは事実と異ならない

仮説: そのオープンスペースはむくつけしない
1. 事実13と事実6から、推論1: "そのオープンスペースは上げ易くない"が導かれる
2. 仮定1: 以下のように仮定する。そのオープンスペースは掴み掛からない
3. 推論1と仮定1から、推論2: "そのオープンスペースは上げ易くなくてしかも掴み掛からない"が導かれる
4. 事実4から、推論3: "そのオープンスペースは泳ぎ始めるとすれば「それは上げ易くないしそれに掴み掛からない」ということは成り立たない"が導かれる
5. 推論3と事実5から、推論4: "「そのオープンスペースは上げ易くなくて加えて掴み掛からない」ということは成り立たない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのオープンスペースは掴み掛かる"が導かれる
8. 推論6と事実20から、推論7: "そのオープンスペースは詰め替えるし掴み掛かる"が導かれる
9. 事実14から、推論8: "もしもそのオープンスペースは詰め替えるししかも掴み掛かるとすれば「それはむくつけしない」ということは成り立つ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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