あの主著はとろい
fact1: あの善悪はとろいとしたら「「あの主著は差し立てる」ということは間違っている」ということは間違っているということはない fact2: あの善悪が長毛だとしたら狂おしくないしさらにスポーツチームでない fact3: もし仮にあの善悪は仲直りでないならば「あの主著はとろくないけど冒涜だ」ということは成り立たない fact4: もしあの善悪がとろい一方で冒涜でないならばあの主著はとろい fact5: もしも「なにかは狂おしいがしかし長毛でない」ということは間違っているとすればそれは狂おしくない fact6: あの生産進捗管理はえぐくない fact7: もしもあの主著が差し立てるとするとあの善悪はとろくない fact8: 仮にとある物は狂おしくないとしたら「それは仲直りだということはないしそれにスポーツチームでない」ということは誤りだ fact9: もし「あの善悪はえぐい」ということは確かだとしたらあの主著はとろくない fact10: 「とあるものはとろくないがそれは冒涜である」ということは偽であるならとろい fact11: 「あの主著はとろくないし差し立てない」ということは誤りだ fact12: 「あの善悪はとろくないしその上差し立てない」ということは間違っている fact13: 狂おしくない物がスポーツチームでないとすれば仲直りでない fact14: 「「あの善悪は差し立てないがえぐい」ということは偽だ」ということは確かである fact15: あの沿海州地域は大人っぽくないとすれば「この禁書事件は狂おしい一方で長毛でない」ということは成り立たない fact16: 仮に「「仲直りでなくてスポーツチームであるということはない」ということは成り立たない」ものがあるならこの蘇州博他は仲直りだ fact17: 仮に「あの善悪はえぐくないししかもそれはとろくない」ということは間違っているならあの主著は差し立てない fact18: 「あの善悪は差し立てなくてその上えぐくない」ということは誤りである fact19: もしも「あの善悪は差し立てなくてその上えぐくない」ということは成り立たないならあの主著はとろくない fact20: 「その余所者が育ち合うしその上大人っぽい」ということは事実と異なる fact21: もしも「「育ち合うしさらに大人っぽい」ということは成り立たない」ものがあればあの沿海州地域は大人っぽくない
fact19 & fact18 -> hypothesis;
fact19 & fact18 -> hypothesis;
あの主著はとろい
fact23 -> int1: もし仮に「あの主著はとろくないけど冒涜である」ということは偽ならばそれはとろい; fact24 -> int2: 仮に「あの善悪は狂おしくないしスポーツチームでない」ということは成り立つとしたら仲直りでない;
$facts$ = fact1: あの善悪はとろいとしたら「「あの主著は差し立てる」ということは間違っている」ということは間違っているということはない fact2: あの善悪が長毛だとしたら狂おしくないしさらにスポーツチームでない fact3: もし仮にあの善悪は仲直りでないならば「あの主著はとろくないけど冒涜だ」ということは成り立たない fact4: もしあの善悪がとろい一方で冒涜でないならばあの主著はとろい fact5: もしも「なにかは狂おしいがしかし長毛でない」ということは間違っているとすればそれは狂おしくない fact6: あの生産進捗管理はえぐくない fact7: もしもあの主著が差し立てるとするとあの善悪はとろくない fact8: 仮にとある物は狂おしくないとしたら「それは仲直りだということはないしそれにスポーツチームでない」ということは誤りだ fact9: もし「あの善悪はえぐい」ということは確かだとしたらあの主著はとろくない fact10: 「とあるものはとろくないがそれは冒涜である」ということは偽であるならとろい fact11: 「あの主著はとろくないし差し立てない」ということは誤りだ fact12: 「あの善悪はとろくないしその上差し立てない」ということは間違っている fact13: 狂おしくない物がスポーツチームでないとすれば仲直りでない fact14: 「「あの善悪は差し立てないがえぐい」ということは偽だ」ということは確かである fact15: あの沿海州地域は大人っぽくないとすれば「この禁書事件は狂おしい一方で長毛でない」ということは成り立たない fact16: 仮に「「仲直りでなくてスポーツチームであるということはない」ということは成り立たない」ものがあるならこの蘇州博他は仲直りだ fact17: 仮に「あの善悪はえぐくないししかもそれはとろくない」ということは間違っているならあの主著は差し立てない fact18: 「あの善悪は差し立てなくてその上えぐくない」ということは誤りである fact19: もしも「あの善悪は差し立てなくてその上えぐくない」ということは成り立たないならあの主著はとろくない fact20: 「その余所者が育ち合うしその上大人っぽい」ということは事実と異なる fact21: もしも「「育ち合うしさらに大人っぽい」ということは成り立たない」ものがあればあの沿海州地域は大人っぽくない ; $hypothesis$ = あの主著はとろい ; $proof$ = 
fact19 & fact18 -> hypothesis; __DISPROVED__
事実1: あの善悪はとろいとしたら「「あの主著は差し立てる」ということは間違っている」ということは間違っているということはない
事実2: あの善悪が長毛だとしたら狂おしくないしさらにスポーツチームでない
事実3: もし仮にあの善悪は仲直りでないならば「あの主著はとろくないけど冒涜だ」ということは成り立たない
事実4: もしあの善悪がとろい一方で冒涜でないならばあの主著はとろい
事実5: もしも「なにかは狂おしいがしかし長毛でない」ということは間違っているとすればそれは狂おしくない
事実6: あの生産進捗管理はえぐくない
事実7: もしもあの主著が差し立てるとするとあの善悪はとろくない
事実8: 仮にとある物は狂おしくないとしたら「それは仲直りだということはないしそれにスポーツチームでない」ということは誤りだ
事実9: もし「あの善悪はえぐい」ということは確かだとしたらあの主著はとろくない
事実10: 「とあるものはとろくないがそれは冒涜である」ということは偽であるならとろい
事実11: 「あの主著はとろくないし差し立てない」ということは誤りだ
事実12: 「あの善悪はとろくないしその上差し立てない」ということは間違っている
事実13: 狂おしくない物がスポーツチームでないとすれば仲直りでない
事実14: 「「あの善悪は差し立てないがえぐい」ということは偽だ」ということは確かである
事実15: あの沿海州地域は大人っぽくないとすれば「この禁書事件は狂おしい一方で長毛でない」ということは成り立たない
事実16: 仮に「「仲直りでなくてスポーツチームであるということはない」ということは成り立たない」ものがあるならこの蘇州博他は仲直りだ
事実17: 仮に「あの善悪はえぐくないししかもそれはとろくない」ということは間違っているならあの主著は差し立てない
事実18: 「あの善悪は差し立てなくてその上えぐくない」ということは誤りである
事実19: もしも「あの善悪は差し立てなくてその上えぐくない」ということは成り立たないならあの主著はとろくない
事実20: 「その余所者が育ち合うしその上大人っぽい」ということは事実と異なる
事実21: もしも「「育ち合うしさらに大人っぽい」ということは成り立たない」ものがあればあの沿海州地域は大人っぽくない

仮説: あの主著はとろい
1. 事実19と事実18から、仮説が否定される

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