この四次元ポケットは閉塞性だ
fact1: あるものは難いなら「それは買い叩くがおっきくない」ということは成り立たない fact2: 仮にこの四次元ポケットは閉塞性である一方で臭くないとするとラウンドだ fact3: もしこの植民地下が両開きであるとすればこの四次元ポケットは両開きである fact4: 「ラウンドな」物があるとするとこの植民地下はラウンドであるかそれは両開きであるかまたは両方ともだ fact5: 全ては難い fact6: もしこの船影が買い叩かないならば臭いしおまけに議会改革である fact7: 仮にこの植民地下は閉塞性であるが膝枕しないならばそれは拡充する fact8: この四次元ポケットは強しないし加えてそれは入学出来ない fact9: この植民地下が膝枕しないならばこの四次元ポケットは臭くないしかつそれはカリスマヘルパーだということはない fact10: もしも「「買い叩く一方でおっきいということはない」ということは事実と異なる」ものがあるとするとこの船影は買い叩くということはない fact11: この四次元ポケットはラウンドでないなら「それは拡充するししかも両開きである」ということは正しくない fact12: もし仮に「「両開きでない」ということは確かである」物はあるとすると「この植民地下は拡充するしかつラウンドだ」ということは間違いだ fact13: 「この植民地下はラウンドである」ということは本当ならばあの四次元ポケットは両開きだ fact14: 臭い物は膝枕する fact15: もしも「「この植民地下は拡充するしラウンドである」ということは確かだ」ということは本当でないならば膝枕しない fact16: 仮にある物がカリスマヘルパーならばラウンドだ fact17: もし「この船影は膝枕する」ということは確かだとするとこの四次元ポケットは拡充する fact18: 「「両開きでない」ということは成り立つ」ものはある fact19: もし仮にこの植民地下が拡充しないとすれば膝枕しない fact20: もし仮にこの四次元ポケットが臭いということはないしおまけにカリスマヘルパーでないとしたらそれは閉塞性である fact21: あの利益平準化機能はカリスマヘルパーだ fact22: この植民地下が膝枕するということはないとすればこの四次元ポケットはカリスマヘルパーでない
fact18 & fact12 -> int1: 「この植民地下は拡充するしかつラウンドである」ということは嘘だ; int1 & fact15 -> int2: この植民地下は膝枕しない; int2 & fact9 -> int3: この四次元ポケットは臭くなくてカリスマヘルパーでない; int3 & fact20 -> hypothesis;
この四次元ポケットは閉塞性であるということはない
fact28 -> int4: もし仮にあの利益平準化機能はカリスマヘルパーであるとするとそれはラウンドである; int4 & fact30 -> int5: 「あの利益平準化機能はラウンドだ」ということは成り立つ; int5 -> int6: 「ラウンドである」ものはある; fact33 & int6 -> int7: この植民地下はラウンドであるかまたはそれは両開きである; fact27 & fact24 & int7 -> int8: この四次元ポケットは両開きだ; fact32 -> int9: この船影が臭いとすればそれは膝枕する; fact31 -> int10: この容器包装は難い; fact25 -> int11: もし仮にこの容器包装は難いとすれば「買い叩くしさらにそれはおっきくない」ということは本当でない; int10 & int11 -> int12: 「この容器包装は買い叩くけどおっきくない」ということは成り立たない; int12 -> int13: 買い叩くけどおっきいということはないというものはない; int13 -> int14: 「あの賤民制は買い叩くけどおっきくない」ということは誤りだ; int14 -> int15: 「「買い叩くけどおっきくない」ということは成り立たない」ものはある; fact29 & int15 -> int16: この船影は買い叩かない; int16 & fact26 -> int17: この船影は臭いしかつそれは議会改革だ; int17 -> int18: この船影は臭い; int9 & int18 -> int19: この船影は膝枕する; fact23 & int19 -> int20: この四次元ポケットは拡充する; int8 & int20 -> int21: この四次元ポケットは拡充するしそれは両開きだ;
$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$ = 
fact18 & fact12 -> int1: 「この植民地下は拡充するしかつラウンドである」ということは嘘だ; int1 & fact15 -> int2: この植民地下は膝枕しない; int2 & fact9 -> int3: この四次元ポケットは臭くなくてカリスマヘルパーでない; int3 & fact20 -> hypothesis; __PROVED__
事実1: あるものは難いなら「それは買い叩くがおっきくない」ということは成り立たない
事実2: 仮にこの四次元ポケットは閉塞性である一方で臭くないとするとラウンドだ
事実3: もしこの植民地下が両開きであるとすればこの四次元ポケットは両開きである
事実4: 「ラウンドな」物があるとするとこの植民地下はラウンドであるかそれは両開きであるかまたは両方ともだ
事実5: 全ては難い
事実6: もしこの船影が買い叩かないならば臭いしおまけに議会改革である
事実7: 仮にこの植民地下は閉塞性であるが膝枕しないならばそれは拡充する
事実8: この四次元ポケットは強しないし加えてそれは入学出来ない
事実9: この植民地下が膝枕しないならばこの四次元ポケットは臭くないしかつそれはカリスマヘルパーだということはない
事実10: もしも「「買い叩く一方でおっきいということはない」ということは事実と異なる」ものがあるとするとこの船影は買い叩くということはない
事実11: この四次元ポケットはラウンドでないなら「それは拡充するししかも両開きである」ということは正しくない
事実12: もし仮に「「両開きでない」ということは確かである」物はあるとすると「この植民地下は拡充するしかつラウンドだ」ということは間違いだ
事実13: 「この植民地下はラウンドである」ということは本当ならばあの四次元ポケットは両開きだ
事実14: 臭い物は膝枕する
事実15: もしも「「この植民地下は拡充するしラウンドである」ということは確かだ」ということは本当でないならば膝枕しない
事実16: 仮にある物がカリスマヘルパーならばラウンドだ
事実17: もし「この船影は膝枕する」ということは確かだとするとこの四次元ポケットは拡充する
事実18: 「「両開きでない」ということは成り立つ」ものはある
事実19: もし仮にこの植民地下が拡充しないとすれば膝枕しない
事実20: もし仮にこの四次元ポケットが臭いということはないしおまけにカリスマヘルパーでないとしたらそれは閉塞性である
事実21: あの利益平準化機能はカリスマヘルパーだ
事実22: この植民地下が膝枕するということはないとすればこの四次元ポケットはカリスマヘルパーでない

仮説: この四次元ポケットは閉塞性だ
1. 事実18と事実12から、推論1: "「この植民地下は拡充するしかつラウンドである」ということは嘘だ"が導かれる
2. 推論1と事実15から、推論2: "この植民地下は膝枕しない"が導かれる
3. 推論2と事実9から、推論3: "この四次元ポケットは臭くなくてカリスマヘルパーでない"が導かれる
4. 推論3と事実20から、仮説が導かれる

よって、仮説が証明されました。