この五山は長々しい
fact1: 仮にあの解決能力がかったるくないとしたら蒸し暑くてまた脂っこい fact2: 仮にあの出羽柵遷置は許し難しなら「長々しいということはないしそれは蒸し暑いということはない」ということは成り立たない fact3: 仮に「あの解決能力は移動度スペクトルである」ということは偽でないとするとあの出羽柵遷置は移動度スペクトルである fact4: 「あの出羽柵遷置は許し難くない一方で仄白い」ということは間違いだ fact5: 「あの解決能力は長々しかなくて移動度スペクトルでない」ということは間違いだ fact6: あの解決能力は許し難し fact7: あの解決能力は移動度スペクトルだ fact8: 「何らかの物は移動度スペクトルだということはないし長々しかない」ということは成り立たないとしたらそれは長々しい fact9: 脂っこいということはないものは焼き上がる fact10: 仮にあの土中が脂っこいならばあの解決能力は脂っこい fact11: 脂っこい物は移動度スペクトルだけれど蒸し暑くない fact12: もし仮に何かは移動度スペクトルだとしたら「それは許し難くないし更に仄白い」ということは事実だということはない fact13: 「もしもあの解決能力は仄白いとすると「「あの解決能力は移動度スペクトルでないしかつそれは許し難しということはない」ということは成り立たない」ということは成り立つ」ということは確かである fact14: もし何らかのものは移動度スペクトルであるとしたら「許し難くないし加えて仄白くない」ということは事実と異なる fact15: 「あの解決能力は蒸し暑くなくて移動度スペクトルでない」ということは事実と異なるとしたらこの五山は許し難くない fact16: あの出羽柵遷置は移動度スペクトルであるなら「それは許し難くないけど仄白い」ということは誤っている fact17: もし仮に「あの出羽柵遷置は仄白い」ということは確かであるとするとこの五山は蒸し暑くない fact18: もし「あの解決能力は移動度スペクトルでなくてそれにそれは長々しかない」ということは誤りならば「あの出羽柵遷置は仄白い」ということは嘘だ fact19: 仮にある物は蒸し暑くないとすると「それは長々しい」ということは正しい fact20: もしも「あの出羽柵遷置は許し難くなくておまけに仄白くない」ということは誤りならこの五山は蒸し暑くない fact21: もし仮にあの解決能力が脂っこいとするとこの五山は脂っこい fact22: もしなにがしかの物は口ずさむとすれば「心深くないしそれは痛み易くない」ということは誤っている fact23: あの出羽柵遷置は蒸し暑いということはない
fact14 -> int1: もしあの出羽柵遷置は移動度スペクトルならば「それは許し難くないし仄白いということはない」ということは間違いだ; fact3 & fact7 -> int2: あの出羽柵遷置は移動度スペクトルである; int1 & int2 -> int3: 「あの出羽柵遷置は許し難くないしまたそれは仄白いということはない」ということは成り立たない; int3 & fact20 -> int4: この五山は蒸し暑くない; fact19 -> int5: もし仮にこの五山が蒸し暑くないとすればそれは長々しい; int4 & int5 -> hypothesis;
あの解決能力は長々しい
fact25 -> int6: もしも「あの解決能力は移動度スペクトルでないしそれは長々しかない」ということは成り立たないとしたらそれは長々しい;
$facts$ = fact1: 仮にあの解決能力がかったるくないとしたら蒸し暑くてまた脂っこい fact2: 仮にあの出羽柵遷置は許し難しなら「長々しいということはないしそれは蒸し暑いということはない」ということは成り立たない fact3: 仮に「あの解決能力は移動度スペクトルである」ということは偽でないとするとあの出羽柵遷置は移動度スペクトルである fact4: 「あの出羽柵遷置は許し難くない一方で仄白い」ということは間違いだ fact5: 「あの解決能力は長々しかなくて移動度スペクトルでない」ということは間違いだ fact6: あの解決能力は許し難し fact7: あの解決能力は移動度スペクトルだ fact8: 「何らかの物は移動度スペクトルだということはないし長々しかない」ということは成り立たないとしたらそれは長々しい fact9: 脂っこいということはないものは焼き上がる fact10: 仮にあの土中が脂っこいならばあの解決能力は脂っこい fact11: 脂っこい物は移動度スペクトルだけれど蒸し暑くない fact12: もし仮に何かは移動度スペクトルだとしたら「それは許し難くないし更に仄白い」ということは事実だということはない fact13: 「もしもあの解決能力は仄白いとすると「「あの解決能力は移動度スペクトルでないしかつそれは許し難しということはない」ということは成り立たない」ということは成り立つ」ということは確かである fact14: もし何らかのものは移動度スペクトルであるとしたら「許し難くないし加えて仄白くない」ということは事実と異なる fact15: 「あの解決能力は蒸し暑くなくて移動度スペクトルでない」ということは事実と異なるとしたらこの五山は許し難くない fact16: あの出羽柵遷置は移動度スペクトルであるなら「それは許し難くないけど仄白い」ということは誤っている fact17: もし仮に「あの出羽柵遷置は仄白い」ということは確かであるとするとこの五山は蒸し暑くない fact18: もし「あの解決能力は移動度スペクトルでなくてそれにそれは長々しかない」ということは誤りならば「あの出羽柵遷置は仄白い」ということは嘘だ fact19: 仮にある物は蒸し暑くないとすると「それは長々しい」ということは正しい fact20: もしも「あの出羽柵遷置は許し難くなくておまけに仄白くない」ということは誤りならこの五山は蒸し暑くない fact21: もし仮にあの解決能力が脂っこいとするとこの五山は脂っこい fact22: もしなにがしかの物は口ずさむとすれば「心深くないしそれは痛み易くない」ということは誤っている fact23: あの出羽柵遷置は蒸し暑いということはない ; $hypothesis$ = この五山は長々しい ; $proof$ = 
fact14 -> int1: もしあの出羽柵遷置は移動度スペクトルならば「それは許し難くないし仄白いということはない」ということは間違いだ; fact3 & fact7 -> int2: あの出羽柵遷置は移動度スペクトルである; int1 & int2 -> int3: 「あの出羽柵遷置は許し難くないしまたそれは仄白いということはない」ということは成り立たない; int3 & fact20 -> int4: この五山は蒸し暑くない; fact19 -> int5: もし仮にこの五山が蒸し暑くないとすればそれは長々しい; int4 & int5 -> 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: あの出羽柵遷置は蒸し暑いということはない

仮説: この五山は長々しい
1. 事実14から、推論1: "もしあの出羽柵遷置は移動度スペクトルならば「それは許し難くないし仄白いということはない」ということは間違いだ"が導かれる
2. 事実3と事実7から、推論2: "あの出羽柵遷置は移動度スペクトルである"が導かれる
3. 推論1と推論2から、推論3: "「あの出羽柵遷置は許し難くないしまたそれは仄白いということはない」ということは成り立たない"が導かれる
4. 推論3と事実20から、推論4: "この五山は蒸し暑くない"が導かれる
5. 事実19から、推論5: "もし仮にこの五山が蒸し暑くないとすればそれは長々しい"が導かれる
6. 推論4と推論5から、仮説が導かれる

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