あのカタルシスは反対しない
fact1: もし何かは初形でないなら「「この生麺は毛深くなくて仄暗いということはない」ということは成り立つ」ということは成り立たない fact2: もしもこの生麺が毛深くないとすると劣位であるしその上勇ましい fact3: わりないということはない物は用い易いということはないものであって奪回しない fact4: あの数珠は用い易いなら「あの西高型は用い易くないがしかしそれは彼らしい」ということは成り立たない fact5: もしも用い易くないものが奪回するということはないとするとそれは彼らしい fact6: 用い易いものが彼らしいとすると反対しない fact7: 仮にあのカタルシスが直り難いならば反対する fact8: もしもあの西高型が用い易いとすると奪回する fact9: とあるものが薙ぎ倒すとすればそれは奪回しないししかもそれは用い易い fact10: 仮にこの生麺が勇ましいとすればあの西高型は薙ぎ倒さない fact11: 仮に「「この生麺は毛深いということはなくて仄暗いということはない」ということは成り立つ」ということは成り立たないとすればあの数珠は劣位であるということはない fact12: もしなにがしかのものがアピールしないならそれは薙ぎ倒すかあるいは反対しない fact13: もし「あの数珠は反対しないが用い易い」ということは誤りならあのカタルシスは反対しない fact14: もしもなんらかのものは彼らしいなら「反対しなくて加えて用い易い」ということは成り立たない fact15: わりなくない物は奪回するしまた彼らしい fact16: もし「この生麺は奪回しないけれどわりない」ということは事実と異なれば「あのカタルシスは反対する」ということは成り立つ fact17: もしもとあるものは劣位でないとしたら「それはアピールするということはない一方で勇ましい」ということは本当だ fact18: あの西高型はアピールする fact19: もしあの西高型は奪回するとすれば「この生麺は奪回しないけれどわりない」ということは偽である fact20: あの数珠は彼らしくない fact21: 「初形であるということはない」物はある fact22: この生麺は毛深くない fact23: もしも「「あの数珠は直り難いかまたは悲しいということはないかもしくは両方だ」ということは確かである」ということは誤っているとしたらあの西高型は用い易い fact24: もしあの数珠が奪回しないが用い易いならばあのカタルシスは用い易い fact25: もしあの数珠は彼らしくないとしたら「それは直り難いかあるいは悲しくないかあるいは両方ともだ」ということは成り立たない
fact25 & fact20 -> int1: 「あの数珠は直り難いかまたは悲しくない」ということは誤っている; int1 & fact23 -> int2: あの西高型は用い易い; int2 & fact8 -> int3: あの西高型は奪回する; int3 & fact19 -> int4: 「この生麺は奪回しないがしかしわりない」ということは成り立たない; int4 & fact16 -> hypothesis;
あの西高型は彼らしい
fact31 -> int5: もしあの西高型が用い易くないし奪回しないならば彼らしい; fact26 -> int6: あの西高型がわりなくないとすると用い易くないしまた奪回しない; fact27 -> int7: もしもあの数珠がアピールしないならばそれは薙ぎ倒すかもしくは反対しないか両方である; fact28 -> int8: 仮にあの数珠が劣位でないならそれはアピールしないしかつ勇ましい; fact30 & fact29 -> int9: 「この生麺は毛深くないしかつ仄暗くない」ということは間違っている; fact32 & int9 -> int10: あの数珠は劣位であるということはない; int8 & int10 -> int11: あの数珠はアピールしない一方で勇ましい; int11 -> int12: 「あの数珠はアピールしない」ということは正しい; int7 & int12 -> int13: あの数珠は薙ぎ倒すかそれは反対しないかどちらもである; int13 -> int14: 「薙ぎ倒すかもしくは反対するということはないかあるいは両方ともな」物はある;
$facts$ = fact1: もし何かは初形でないなら「「この生麺は毛深くなくて仄暗いということはない」ということは成り立つ」ということは成り立たない fact2: もしもこの生麺が毛深くないとすると劣位であるしその上勇ましい fact3: わりないということはない物は用い易いということはないものであって奪回しない fact4: あの数珠は用い易いなら「あの西高型は用い易くないがしかしそれは彼らしい」ということは成り立たない fact5: もしも用い易くないものが奪回するということはないとするとそれは彼らしい fact6: 用い易いものが彼らしいとすると反対しない fact7: 仮にあのカタルシスが直り難いならば反対する fact8: もしもあの西高型が用い易いとすると奪回する fact9: とあるものが薙ぎ倒すとすればそれは奪回しないししかもそれは用い易い fact10: 仮にこの生麺が勇ましいとすればあの西高型は薙ぎ倒さない fact11: 仮に「「この生麺は毛深いということはなくて仄暗いということはない」ということは成り立つ」ということは成り立たないとすればあの数珠は劣位であるということはない fact12: もしなにがしかのものがアピールしないならそれは薙ぎ倒すかあるいは反対しない fact13: もし「あの数珠は反対しないが用い易い」ということは誤りならあのカタルシスは反対しない fact14: もしもなんらかのものは彼らしいなら「反対しなくて加えて用い易い」ということは成り立たない fact15: わりなくない物は奪回するしまた彼らしい fact16: もし「この生麺は奪回しないけれどわりない」ということは事実と異なれば「あのカタルシスは反対する」ということは成り立つ fact17: もしもとあるものは劣位でないとしたら「それはアピールするということはない一方で勇ましい」ということは本当だ fact18: あの西高型はアピールする fact19: もしあの西高型は奪回するとすれば「この生麺は奪回しないけれどわりない」ということは偽である fact20: あの数珠は彼らしくない fact21: 「初形であるということはない」物はある fact22: この生麺は毛深くない fact23: もしも「「あの数珠は直り難いかまたは悲しいということはないかもしくは両方だ」ということは確かである」ということは誤っているとしたらあの西高型は用い易い fact24: もしあの数珠が奪回しないが用い易いならばあのカタルシスは用い易い fact25: もしあの数珠は彼らしくないとしたら「それは直り難いかあるいは悲しくないかあるいは両方ともだ」ということは成り立たない ; $hypothesis$ = あのカタルシスは反対しない ; $proof$ = 
fact25 & fact20 -> int1: 「あの数珠は直り難いかまたは悲しくない」ということは誤っている; int1 & fact23 -> int2: あの西高型は用い易い; int2 & fact8 -> int3: あの西高型は奪回する; int3 & fact19 -> int4: 「この生麺は奪回しないがしかしわりない」ということは成り立たない; int4 & fact16 -> hypothesis; __DISPROVED__
事実1: もし何かは初形でないなら「「この生麺は毛深くなくて仄暗いということはない」ということは成り立つ」ということは成り立たない
事実2: もしもこの生麺が毛深くないとすると劣位であるしその上勇ましい
事実3: わりないということはない物は用い易いということはないものであって奪回しない
事実4: あの数珠は用い易いなら「あの西高型は用い易くないがしかしそれは彼らしい」ということは成り立たない
事実5: もしも用い易くないものが奪回するということはないとするとそれは彼らしい
事実6: 用い易いものが彼らしいとすると反対しない
事実7: 仮にあのカタルシスが直り難いならば反対する
事実8: もしもあの西高型が用い易いとすると奪回する
事実9: とあるものが薙ぎ倒すとすればそれは奪回しないししかもそれは用い易い
事実10: 仮にこの生麺が勇ましいとすればあの西高型は薙ぎ倒さない
事実11: 仮に「「この生麺は毛深いということはなくて仄暗いということはない」ということは成り立つ」ということは成り立たないとすればあの数珠は劣位であるということはない
事実12: もしなにがしかのものがアピールしないならそれは薙ぎ倒すかあるいは反対しない
事実13: もし「あの数珠は反対しないが用い易い」ということは誤りならあのカタルシスは反対しない
事実14: もしもなんらかのものは彼らしいなら「反対しなくて加えて用い易い」ということは成り立たない
事実15: わりなくない物は奪回するしまた彼らしい
事実16: もし「この生麺は奪回しないけれどわりない」ということは事実と異なれば「あのカタルシスは反対する」ということは成り立つ
事実17: もしもとあるものは劣位でないとしたら「それはアピールするということはない一方で勇ましい」ということは本当だ
事実18: あの西高型はアピールする
事実19: もしあの西高型は奪回するとすれば「この生麺は奪回しないけれどわりない」ということは偽である
事実20: あの数珠は彼らしくない
事実21: 「初形であるということはない」物はある
事実22: この生麺は毛深くない
事実23: もしも「「あの数珠は直り難いかまたは悲しいということはないかもしくは両方だ」ということは確かである」ということは誤っているとしたらあの西高型は用い易い
事実24: もしあの数珠が奪回しないが用い易いならばあのカタルシスは用い易い
事実25: もしあの数珠は彼らしくないとしたら「それは直り難いかあるいは悲しくないかあるいは両方ともだ」ということは成り立たない

仮説: あのカタルシスは反対しない
1. 事実25と事実20から、推論1: "「あの数珠は直り難いかまたは悲しくない」ということは誤っている"が導かれる
2. 推論1と事実23から、推論2: "あの西高型は用い易い"が導かれる
3. 推論2と事実8から、推論3: "あの西高型は奪回する"が導かれる
4. 推論3と事実19から、推論4: "「この生麺は奪回しないがしかしわりない」ということは成り立たない"が導かれる
5. 推論4と事実16から、仮説が否定される

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