「小高いしさらに立ち尽くす」ものはある
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: この需要側は漂い続けないならば「その悪露は抗し難いということはないしかつどぎついということはない」ということは偽である
fact17 -> int1: もし仮に「この需要側はエポキシ系ボンドでない一方でチャーターする」ということは成り立たないなら「漂い続けない」ということは真実である; fact15 & fact1 -> int2: 「この需要側はエポキシ系ボンドだということはないけれどチャーターする」ということは事実と異なる; int1 & int2 -> int3: この需要側は漂い続けない; int3 & fact26 -> int4: 「その悪露は抗し難くないしさらにどぎつかない」ということは成り立つということはない; int4 -> int5: 「「抗し難くないしかつどぎつかない」ということは成り立たない」物はある; int5 & fact14 -> int6: あの履き心地は小高い; fact23 & fact24 -> int7: あの履き心地は仕事らしい; int7 & fact4 -> int8: あの履き心地は立ち尽くす; int6 & int8 -> int9: あの履き心地は小高いしおまけに立ち尽くす; int9 -> hypothesis;
あの合併協議会はチャーターする
fact27 -> int10: もし仮にあの合併協議会が抗し難いとすればそれは漂い続けない;
$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: この需要側は漂い続けないならば「その悪露は抗し難いということはないしかつどぎついということはない」ということは偽である ; $hypothesis$ = 「小高いしさらに立ち尽くす」ものはある ; $proof$ = 
fact17 -> int1: もし仮に「この需要側はエポキシ系ボンドでない一方でチャーターする」ということは成り立たないなら「漂い続けない」ということは真実である; fact15 & fact1 -> int2: 「この需要側はエポキシ系ボンドだということはないけれどチャーターする」ということは事実と異なる; int1 & int2 -> int3: この需要側は漂い続けない; int3 & fact26 -> int4: 「その悪露は抗し難くないしさらにどぎつかない」ということは成り立つということはない; int4 -> int5: 「「抗し難くないしかつどぎつかない」ということは成り立たない」物はある; int5 & fact14 -> int6: あの履き心地は小高い; fact23 & fact24 -> int7: あの履き心地は仕事らしい; int7 & fact4 -> int8: あの履き心地は立ち尽くす; int6 & int8 -> int9: あの履き心地は小高いしおまけに立ち尽くす; 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: この需要側は漂い続けないならば「その悪露は抗し難いということはないしかつどぎついということはない」ということは偽である

仮説: 「小高いしさらに立ち尽くす」ものはある
1. 事実17から、推論1: "もし仮に「この需要側はエポキシ系ボンドでない一方でチャーターする」ということは成り立たないなら「漂い続けない」ということは真実である"が導かれる
2. 事実15と事実1から、推論2: "「この需要側はエポキシ系ボンドだということはないけれどチャーターする」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "この需要側は漂い続けない"が導かれる
4. 推論3と事実26から、推論4: "「その悪露は抗し難くないしさらにどぎつかない」ということは成り立つということはない"が導かれる
5. 推論4から、推論5: "「「抗し難くないしかつどぎつかない」ということは成り立たない」物はある"が導かれる
6. 推論5と事実14から、推論6: "あの履き心地は小高い"が導かれる
7. 事実23と事実24から、推論7: "あの履き心地は仕事らしい"が導かれる
8. 推論7と事実4から、推論8: "あの履き心地は立ち尽くす"が導かれる
9. 推論6と推論8から、推論9: "あの履き心地は小高いしおまけに立ち尽くす"が導かれる
10. 推論9から、仮説が導かれる

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