あの憑き物は保管状態で有るらしい
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: なにかはウエイトレスであるかあるいはそれは胡坐であるかまたは両方ともだ fact26: その認知心理学が保管状態であるならあの憑き物は減少する fact27: 「あの運河沿いは三十年後である」ということは本当である
fact27 -> int1: あの運河沿いは三十年後であるかまたは愚かしい; int1 -> int2: 何らかのものは三十年後であるか愚かしいか両方ともだ; int2 & fact4 -> int3: この首脳者は傍聴しない; int3 & fact5 -> int4: その認知心理学は減少するかそれはウエイトレスである; int4 & fact10 & fact23 -> int5: あの憑き物は保管状態である; fact24 -> int6: あの憑き物が通則だしそれに胡坐だ; int6 -> int7: あの憑き物は通則だ; fact16 -> int8: 仮にあの憑き物は通則ならば「それは有るらしい」ということは成り立つ; int7 & int8 -> int9: あの憑き物は有るらしい; int5 & int9 -> hypothesis;
何かは柔いかあるいは忘れ始めるかどちらもだ
$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: なにかはウエイトレスであるかあるいはそれは胡坐であるかまたは両方ともだ fact26: その認知心理学が保管状態であるならあの憑き物は減少する fact27: 「あの運河沿いは三十年後である」ということは本当である ; $hypothesis$ = あの憑き物は保管状態で有るらしい ; $proof$ = 
fact27 -> int1: あの運河沿いは三十年後であるかまたは愚かしい; int1 -> int2: 何らかのものは三十年後であるか愚かしいか両方ともだ; int2 & fact4 -> int3: この首脳者は傍聴しない; int3 & fact5 -> int4: その認知心理学は減少するかそれはウエイトレスである; int4 & fact10 & fact23 -> int5: あの憑き物は保管状態である; fact24 -> int6: あの憑き物が通則だしそれに胡坐だ; int6 -> int7: あの憑き物は通則だ; fact16 -> int8: 仮にあの憑き物は通則ならば「それは有るらしい」ということは成り立つ; int7 & int8 -> int9: あの憑き物は有るらしい; int5 & int9 -> hypothesis; __PROVED__
事実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: なにかはウエイトレスであるかあるいはそれは胡坐であるかまたは両方ともだ
事実26: その認知心理学が保管状態であるならあの憑き物は減少する
事実27: 「あの運河沿いは三十年後である」ということは本当である

仮説: あの憑き物は保管状態で有るらしい
1. 事実27から、推論1: "あの運河沿いは三十年後であるかまたは愚かしい"が導かれる
2. 推論1から、推論2: "何らかのものは三十年後であるか愚かしいか両方ともだ"が導かれる
3. 推論2と事実4から、推論3: "この首脳者は傍聴しない"が導かれる
4. 推論3と事実5から、推論4: "その認知心理学は減少するかそれはウエイトレスである"が導かれる
5. 推論4と事実10と事実23から、推論5: "あの憑き物は保管状態である"が導かれる
6. 事実24から、推論6: "あの憑き物が通則だしそれに胡坐だ"が導かれる
7. 推論6から、推論7: "あの憑き物は通則だ"が導かれる
8. 事実16から、推論8: "仮にあの憑き物は通則ならば「それは有るらしい」ということは成り立つ"が導かれる
9. 推論7と推論8から、推論9: "あの憑き物は有るらしい"が導かれる
10. 推論5と推論9から、仮説が導かれる

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