あの生き馬は関わり始めない
fact1: 仮に「この作用積分Ｓは関わり始めるかもしくは走り易くないかまたは両方ともだ」ということは成り立たないとしたら「あの生き馬は関わり始める」ということは間違いだ fact2: もし「あの変死者は猛々しくない一方で歓喜する」ということは事実と異なるならばあの生き馬は関わり始める fact3: もし「旧大陸である」物はあるとしたら「あの変死者は猛々しくてかつ歓喜する」ということは本当だということはない fact4: 「あの生き馬は関わり始めないけど猛々しい」ということは成り立たない fact5: 仮にその小腰は猛々しくないとすれば「あの変死者は猛々しくないけど歓喜する」ということは偽だ fact6: 「「猛々しくてかつ歓喜する」ということは事実と異なる」ものがあるとすればその小腰は届き易い fact7: あの生体内が素早くないとすればあの桜田門外はさっさとするし更に身請けする fact8: もし「この作用積分Ｓは走り易い」ということは成り立つとすると届き易いということはない fact9: 「なにがしかのものは固いがそれは旧大陸であるということはない」ということは間違いであるとしたら旧大陸だ fact10: もし仮にその現世が走り易いとするとそれは老化する fact11: この作用積分Ｓは届き易いし旧大陸である fact12: もしもこの作用積分Ｓが走り易くないならばその小腰は猛々しいということはない fact13: あの生体内は素早くない fact14: 仮に「「さっさとする」ということは確かな」ものはあるとしたら「この有限責任事業組合は固いけど旧大陸であるということはない」ということは間違いである
void -> assump1: 以下のように仮定する。この作用積分Ｓは走り易い; fact8 & assump1 -> int1: この作用積分Ｓは届き易いということはない; fact11 -> int2: 「この作用積分Ｓは届き易くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この作用積分Ｓは走り易くない; int4 & fact12 -> int5: その小腰は猛々しいということはない; int5 & fact5 -> int6: 「あの変死者は猛々しくないが歓喜する」ということは成り立たない; int6 & fact2 -> hypothesis;
その現世は実現し得るしそれにそれは老化する
$facts$ = fact1: 仮に「この作用積分Ｓは関わり始めるかもしくは走り易くないかまたは両方ともだ」ということは成り立たないとしたら「あの生き馬は関わり始める」ということは間違いだ fact2: もし「あの変死者は猛々しくない一方で歓喜する」ということは事実と異なるならばあの生き馬は関わり始める fact3: もし「旧大陸である」物はあるとしたら「あの変死者は猛々しくてかつ歓喜する」ということは本当だということはない fact4: 「あの生き馬は関わり始めないけど猛々しい」ということは成り立たない fact5: 仮にその小腰は猛々しくないとすれば「あの変死者は猛々しくないけど歓喜する」ということは偽だ fact6: 「「猛々しくてかつ歓喜する」ということは事実と異なる」ものがあるとすればその小腰は届き易い fact7: あの生体内が素早くないとすればあの桜田門外はさっさとするし更に身請けする fact8: もし「この作用積分Ｓは走り易い」ということは成り立つとすると届き易いということはない fact9: 「なにがしかのものは固いがそれは旧大陸であるということはない」ということは間違いであるとしたら旧大陸だ fact10: もし仮にその現世が走り易いとするとそれは老化する fact11: この作用積分Ｓは届き易いし旧大陸である fact12: もしもこの作用積分Ｓが走り易くないならばその小腰は猛々しいということはない fact13: あの生体内は素早くない fact14: 仮に「「さっさとする」ということは確かな」ものはあるとしたら「この有限責任事業組合は固いけど旧大陸であるということはない」ということは間違いである ; $hypothesis$ = あの生き馬は関わり始めない ; $proof$ = 
void -> assump1: 以下のように仮定する。この作用積分Ｓは走り易い; fact8 & assump1 -> int1: この作用積分Ｓは届き易いということはない; fact11 -> int2: 「この作用積分Ｓは届き易くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この作用積分Ｓは走り易くない; int4 & fact12 -> int5: その小腰は猛々しいということはない; int5 & fact5 -> int6: 「あの変死者は猛々しくないが歓喜する」ということは成り立たない; int6 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「この作用積分Ｓは関わり始めるかもしくは走り易くないかまたは両方ともだ」ということは成り立たないとしたら「あの生き馬は関わり始める」ということは間違いだ
事実2: もし「あの変死者は猛々しくない一方で歓喜する」ということは事実と異なるならばあの生き馬は関わり始める
事実3: もし「旧大陸である」物はあるとしたら「あの変死者は猛々しくてかつ歓喜する」ということは本当だということはない
事実4: 「あの生き馬は関わり始めないけど猛々しい」ということは成り立たない
事実5: 仮にその小腰は猛々しくないとすれば「あの変死者は猛々しくないけど歓喜する」ということは偽だ
事実6: 「「猛々しくてかつ歓喜する」ということは事実と異なる」ものがあるとすればその小腰は届き易い
事実7: あの生体内が素早くないとすればあの桜田門外はさっさとするし更に身請けする
事実8: もし「この作用積分Ｓは走り易い」ということは成り立つとすると届き易いということはない
事実9: 「なにがしかのものは固いがそれは旧大陸であるということはない」ということは間違いであるとしたら旧大陸だ
事実10: もし仮にその現世が走り易いとするとそれは老化する
事実11: この作用積分Ｓは届き易いし旧大陸である
事実12: もしもこの作用積分Ｓが走り易くないならばその小腰は猛々しいということはない
事実13: あの生体内は素早くない
事実14: 仮に「「さっさとする」ということは確かな」ものはあるとしたら「この有限責任事業組合は固いけど旧大陸であるということはない」ということは間違いである

仮説: あの生き馬は関わり始めない
1. 仮定1: 以下のように仮定する。この作用積分Ｓは走り易い
2. 事実8と仮定1から、推論1: "この作用積分Ｓは届き易いということはない"が導かれる
3. 事実11から、推論2: "「この作用積分Ｓは届き易くない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この作用積分Ｓは走り易くない"が導かれる
6. 推論4と事実12から、推論5: "その小腰は猛々しいということはない"が導かれる
7. 推論5と事実5から、推論6: "「あの変死者は猛々しくないが歓喜する」ということは成り立たない"が導かれる
8. 推論6と事実2から、仮説が否定される

よって、仮説が否定されました。