あの四天王像は崇めるかそれは行き易いないかあるいはどちらもである
fact1: この膵は伸び易い fact2: もしもこの膵が崇めないならばその小潮は崇めない一方でそれはむず痒い fact3: 仮にこの膵が山深くないならあの四天王像は崇めるかそれは行き易いない fact4: 仮にその小潮は崇めるということはないならば「あの四天王像は崇めるかまたはそれは行き易いないかもしくは両方ともである」ということは事実と異なる fact5: 山深いし伸び易いものは崇めない fact6: この膵は山深い fact7: 仮にあのＤＹが美し過ぎないなら埋もれないしかつ支え続けない fact8: もし仮に「この閉塞感はサタンである」ということは成り立つとしたらこの各単元は直接観察する fact9: もし「その相撲界は人間っぽいが担保権者でない」ということは成り立たないとするとあのＤＹは美し過ぎるということはない fact10: 仮に「この各単元は伸び易くないしかつむず痒くない」ということは成り立つということはないならばその小潮は伸び易くない fact11: もしもあの珍品がサタンであるとするとこの閉塞感はサタンである fact12: 「その小潮は伸び易くない」ということは真実であるならば「この膵は山深くない」ということは事実である fact13: 仮に何らかの物は派するとすれば「それが男っぽいということはないしさらにそれは長居する」ということは正しくない fact14: 仮にとある物は直接観察するとしたら「伸び易くないしさらにむず痒くない」ということは成り立たない fact15: もし「その監督達は保存し直さないしおまけにそれは抜粋でない」ということは成り立たないとするとあの珍品はサタンである fact16: その相撲界はヘモグロビンだ fact17: 仮に「「男っぽくないがしかし長居する」ということは確かでない」物があるとするとこの市域は抜粋である fact18: あの四天王像は崇めない fact19: この閉塞感は行き易い fact20: もし仮に「何かは山深い一方で伸び易くない」ということは事実と異なるなら「絶え間無いということはない」ということは正しい fact21: もし仮にある物は埋もれないしさらに支え続けないとすると「派する」ということは成り立つ fact22: その相撲界はヘモグロビンであるなら「人間っぽいしそれに担保権者でない」ということは誤りである
fact6 & fact1 -> int1: この膵は山深いしさらに伸び易い; fact5 -> int2: 仮にこの膵は山深いし伸び易いならばそれは崇めない; int1 & int2 -> int3: この膵は崇めない; int3 & fact2 -> int4: その小潮は崇めないがしかしむず痒い; int4 -> int5: その小潮は崇めない; int5 & fact4 -> hypothesis;
あの四天王像は崇めるかあるいはそれは行き易いない
fact36 -> int6: この各単元は直接観察するなら「伸び易くないしそれはむず痒くない」ということは成り立たない; fact31 -> int7: もしもあのＤＹは派するなら「それは男っぽくないけど長居する」ということは誤っている; fact29 -> int8: もしあのＤＹが埋もれないしさらに支え続けないなら派する; fact33 & fact34 -> int9: 「その相撲界は人間っぽい一方で担保権者でない」ということは事実と異なる; fact28 & int9 -> int10: あのＤＹは美し過ぎない; fact26 & int10 -> int11: あのＤＹは埋もれないしおまけに支え続けない; int8 & int11 -> int12: あのＤＹは派する; int7 & int12 -> int13: 「あのＤＹは男っぽいということはないけどそれは長居する」ということは間違っている; int13 -> int14: 「「男っぽくないけれど長居する」ということは偽な」物はある; int14 & fact35 -> int15: この市域は抜粋だ; int15 -> int16: 「抜粋である」物はある;
$facts$ = fact1: この膵は伸び易い fact2: もしもこの膵が崇めないならばその小潮は崇めない一方でそれはむず痒い fact3: 仮にこの膵が山深くないならあの四天王像は崇めるかそれは行き易いない fact4: 仮にその小潮は崇めるということはないならば「あの四天王像は崇めるかまたはそれは行き易いないかもしくは両方ともである」ということは事実と異なる fact5: 山深いし伸び易いものは崇めない fact6: この膵は山深い fact7: 仮にあのＤＹが美し過ぎないなら埋もれないしかつ支え続けない fact8: もし仮に「この閉塞感はサタンである」ということは成り立つとしたらこの各単元は直接観察する fact9: もし「その相撲界は人間っぽいが担保権者でない」ということは成り立たないとするとあのＤＹは美し過ぎるということはない fact10: 仮に「この各単元は伸び易くないしかつむず痒くない」ということは成り立つということはないならばその小潮は伸び易くない fact11: もしもあの珍品がサタンであるとするとこの閉塞感はサタンである fact12: 「その小潮は伸び易くない」ということは真実であるならば「この膵は山深くない」ということは事実である fact13: 仮に何らかの物は派するとすれば「それが男っぽいということはないしさらにそれは長居する」ということは正しくない fact14: 仮にとある物は直接観察するとしたら「伸び易くないしさらにむず痒くない」ということは成り立たない fact15: もし「その監督達は保存し直さないしおまけにそれは抜粋でない」ということは成り立たないとするとあの珍品はサタンである fact16: その相撲界はヘモグロビンだ fact17: 仮に「「男っぽくないがしかし長居する」ということは確かでない」物があるとするとこの市域は抜粋である fact18: あの四天王像は崇めない fact19: この閉塞感は行き易い fact20: もし仮に「何かは山深い一方で伸び易くない」ということは事実と異なるなら「絶え間無いということはない」ということは正しい fact21: もし仮にある物は埋もれないしさらに支え続けないとすると「派する」ということは成り立つ fact22: その相撲界はヘモグロビンであるなら「人間っぽいしそれに担保権者でない」ということは誤りである ; $hypothesis$ = あの四天王像は崇めるかそれは行き易いないかあるいはどちらもである ; $proof$ = 
fact6 & fact1 -> int1: この膵は山深いしさらに伸び易い; fact5 -> int2: 仮にこの膵は山深いし伸び易いならばそれは崇めない; int1 & int2 -> int3: この膵は崇めない; int3 & fact2 -> int4: その小潮は崇めないがしかしむず痒い; int4 -> int5: その小潮は崇めない; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: この膵は伸び易い
事実2: もしもこの膵が崇めないならばその小潮は崇めない一方でそれはむず痒い
事実3: 仮にこの膵が山深くないならあの四天王像は崇めるかそれは行き易いない
事実4: 仮にその小潮は崇めるということはないならば「あの四天王像は崇めるかまたはそれは行き易いないかもしくは両方ともである」ということは事実と異なる
事実5: 山深いし伸び易いものは崇めない
事実6: この膵は山深い
事実7: 仮にあのＤＹが美し過ぎないなら埋もれないしかつ支え続けない
事実8: もし仮に「この閉塞感はサタンである」ということは成り立つとしたらこの各単元は直接観察する
事実9: もし「その相撲界は人間っぽいが担保権者でない」ということは成り立たないとするとあのＤＹは美し過ぎるということはない
事実10: 仮に「この各単元は伸び易くないしかつむず痒くない」ということは成り立つということはないならばその小潮は伸び易くない
事実11: もしもあの珍品がサタンであるとするとこの閉塞感はサタンである
事実12: 「その小潮は伸び易くない」ということは真実であるならば「この膵は山深くない」ということは事実である
事実13: 仮に何らかの物は派するとすれば「それが男っぽいということはないしさらにそれは長居する」ということは正しくない
事実14: 仮にとある物は直接観察するとしたら「伸び易くないしさらにむず痒くない」ということは成り立たない
事実15: もし「その監督達は保存し直さないしおまけにそれは抜粋でない」ということは成り立たないとするとあの珍品はサタンである
事実16: その相撲界はヘモグロビンだ
事実17: 仮に「「男っぽくないがしかし長居する」ということは確かでない」物があるとするとこの市域は抜粋である
事実18: あの四天王像は崇めない
事実19: この閉塞感は行き易い
事実20: もし仮に「何かは山深い一方で伸び易くない」ということは事実と異なるなら「絶え間無いということはない」ということは正しい
事実21: もし仮にある物は埋もれないしさらに支え続けないとすると「派する」ということは成り立つ
事実22: その相撲界はヘモグロビンであるなら「人間っぽいしそれに担保権者でない」ということは誤りである

仮説: あの四天王像は崇めるかそれは行き易いないかあるいはどちらもである
1. 事実6と事実1から、推論1: "この膵は山深いしさらに伸び易い"が導かれる
2. 事実5から、推論2: "仮にこの膵は山深いし伸び易いならばそれは崇めない"が導かれる
3. 推論1と推論2から、推論3: "この膵は崇めない"が導かれる
4. 推論3と事実2から、推論4: "その小潮は崇めないがしかしむず痒い"が導かれる
5. 推論4から、推論5: "その小潮は崇めない"が導かれる
6. 推論5と事実4から、仮説が否定される

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