あの病原は量産体制だ
fact1: その潜在的可能性は差し支え有る fact2: もし仮にとあるものは真新しいならば「電極間でおっかしくない」ということは誤っている fact3: もし仮になにがしかの物が経済部だとすればそれは真新しい fact4: もしも「その版本は真新しくないしまたおっかしくない」ということは間違いだとすると「それはおっかしい」ということは事実だ fact5: 「このＱＵＳ法は屈伸しない」ということは正しい fact6: 仮になにかはだらし無いということはないとしたら「情けなくないかあるいは入手し易いということはないかまたは両方である」ということは偽だ fact7: あの病原は屈伸しない fact8: 仮に「「多しししかももげる」ということは間違いな」ものがあるとしたらあの人々全てはもげない fact9: あの病原は清し fact10: もし仮に「「屈伸しなくて更に車重である」ということは誤りな」ものがあるならばあの病原は車重でない fact11: もしもなにかは量産体制ならば「屈伸するということはないしさらに車重である」ということは成り立たない fact12: もしもとあるものがもげないとすれば明治初頭でないし疑い深いということはない fact13: もし「差し支え有る」物はあればそのげっぷはだらし無くない fact14: あの病原が量産体制だとするとそれは屈伸する fact15: もし仮にあの人々全てが明治初頭でないし加えて疑い深くないとしたらその版本は経済部である fact16: もしその理論分析は判事さんでないとすれば「あの減食は多ししもげる」ということは嘘である fact17: もし「何らかのものは電極間であるがおっかしくない」ということは間違いであるならそれは量産体制である fact18: 仮に「あのげっぷは情けなくないかまたは入手し易くないかもしくは両方ともだ」ということは嘘であるとしたらその理論分析は判事さんでない
void -> assump1: 以下のように仮定する。あの病原は量産体制だ; fact14 & assump1 -> int1: あの病原は屈伸する; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
あの病原は車重であるということはない
fact24 -> int3: もし仮にその版本は量産体制だとしたら「それは屈伸しないがしかし車重だ」ということは成り立つということはない; fact31 -> int4: 仮に「その版本は電極間だけれどそれはおっかしいということはない」ということは成り立つということはないならそれは量産体制だ; fact23 -> int5: もしもその版本は真新しいとすると「電極間だしそれはおっかしくない」ということは間違っている; fact20 -> int6: もしその版本が経済部だとしたら真新しい; fact26 -> int7: 仮にあの人々全てがもげないとするとそれは明治初頭でなくておまけに疑い深くない; fact25 -> int8: もしもこのげっぷはだらし無くないとしたら「それは情けなくないかそれは入手し易くないかもしくは両方である」ということは成り立たない; fact30 -> int9: 「差し支え有る」物はある; int9 & fact22 -> int10: このげっぷはだらし無くない; int8 & int10 -> int11: 「このげっぷは情けないということはないかあるいはそれは入手し易くないか両方ともだ」ということは間違いだ; fact27 & int11 -> int12: その理論分析は判事さんでない; fact28 & int12 -> int13: 「あの減食は多ししもげる」ということは誤りだ; int13 -> int14: 「「多ししもげる」ということは偽な」ものはある; int14 & fact29 -> int15: あの人々全てはもげない; int7 & int15 -> int16: あの人々全ては明治初頭でなくて疑い深くない; fact21 & int16 -> int17: その版本は経済部である; int6 & int17 -> int18: その版本は真新しい; int5 & int18 -> int19: 「「その版本は電極間だけれどおっかしくない」ということは成り立たない」ということは真実だ; int4 & int19 -> int20: その版本は量産体制である; int3 & int20 -> int21: 「その版本は屈伸しない一方でそれは車重である」ということは間違っている; int21 -> int22: 「「屈伸しなくてそれに車重である」ということは嘘な」物はある; int22 & fact19 -> hypothesis;
$facts$ = fact1: その潜在的可能性は差し支え有る fact2: もし仮にとあるものは真新しいならば「電極間でおっかしくない」ということは誤っている fact3: もし仮になにがしかの物が経済部だとすればそれは真新しい fact4: もしも「その版本は真新しくないしまたおっかしくない」ということは間違いだとすると「それはおっかしい」ということは事実だ fact5: 「このＱＵＳ法は屈伸しない」ということは正しい fact6: 仮になにかはだらし無いということはないとしたら「情けなくないかあるいは入手し易いということはないかまたは両方である」ということは偽だ fact7: あの病原は屈伸しない fact8: 仮に「「多しししかももげる」ということは間違いな」ものがあるとしたらあの人々全てはもげない fact9: あの病原は清し fact10: もし仮に「「屈伸しなくて更に車重である」ということは誤りな」ものがあるならばあの病原は車重でない fact11: もしもなにかは量産体制ならば「屈伸するということはないしさらに車重である」ということは成り立たない fact12: もしもとあるものがもげないとすれば明治初頭でないし疑い深いということはない fact13: もし「差し支え有る」物はあればそのげっぷはだらし無くない fact14: あの病原が量産体制だとするとそれは屈伸する fact15: もし仮にあの人々全てが明治初頭でないし加えて疑い深くないとしたらその版本は経済部である fact16: もしその理論分析は判事さんでないとすれば「あの減食は多ししもげる」ということは嘘である fact17: もし「何らかのものは電極間であるがおっかしくない」ということは間違いであるならそれは量産体制である fact18: 仮に「あのげっぷは情けなくないかまたは入手し易くないかもしくは両方ともだ」ということは嘘であるとしたらその理論分析は判事さんでない ; $hypothesis$ = あの病原は量産体制だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの病原は量産体制だ; fact14 & assump1 -> int1: あの病原は屈伸する; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その潜在的可能性は差し支え有る
事実2: もし仮にとあるものは真新しいならば「電極間でおっかしくない」ということは誤っている
事実3: もし仮になにがしかの物が経済部だとすればそれは真新しい
事実4: もしも「その版本は真新しくないしまたおっかしくない」ということは間違いだとすると「それはおっかしい」ということは事実だ
事実5: 「このＱＵＳ法は屈伸しない」ということは正しい
事実6: 仮になにかはだらし無いということはないとしたら「情けなくないかあるいは入手し易いということはないかまたは両方である」ということは偽だ
事実7: あの病原は屈伸しない
事実8: 仮に「「多しししかももげる」ということは間違いな」ものがあるとしたらあの人々全てはもげない
事実9: あの病原は清し
事実10: もし仮に「「屈伸しなくて更に車重である」ということは誤りな」ものがあるならばあの病原は車重でない
事実11: もしもなにかは量産体制ならば「屈伸するということはないしさらに車重である」ということは成り立たない
事実12: もしもとあるものがもげないとすれば明治初頭でないし疑い深いということはない
事実13: もし「差し支え有る」物はあればそのげっぷはだらし無くない
事実14: あの病原が量産体制だとするとそれは屈伸する
事実15: もし仮にあの人々全てが明治初頭でないし加えて疑い深くないとしたらその版本は経済部である
事実16: もしその理論分析は判事さんでないとすれば「あの減食は多ししもげる」ということは嘘である
事実17: もし「何らかのものは電極間であるがおっかしくない」ということは間違いであるならそれは量産体制である
事実18: 仮に「あのげっぷは情けなくないかまたは入手し易くないかもしくは両方ともだ」ということは嘘であるとしたらその理論分析は判事さんでない

仮説: あの病原は量産体制だ
1. 仮定1: 以下のように仮定する。あの病原は量産体制だ
2. 事実14と仮定1から、推論1: "あの病原は屈伸する"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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