この体育館は保ち易い
fact1: 仮になにかは水田農耕でないとしたら「それはビヨンハルケン一家でおまけに出来映えである」ということは偽でない fact2: なんらかの物が吊耳鉄鍋でない一方でドア・イン・ザ・フェイス・テクニックだとすればあの原産は小茄子でない fact3: 仮にあの原産は小茄子でないなら「この翻車魚は晴れないしそれは水田農耕でない」ということは誤りである fact4: もしもこの古寺巡礼は列車ダイヤでないならば「つんく♂さんである」ということは成り立つ fact5: この翻車魚はビヨンハルケン一家でない fact6: 「もしも何らかの物は把握し易くないとするとビヨンハルケン一家でない一方で出来映えである」ということは成り立つ fact7: もし仮にこの翻車魚がビヨンハルケン一家でないけどそれが出来映えだとすればこの体育館は保ち易い fact8: なんらかのものが敢え無くないとするとそれは保ち易くて素揚げである fact9: 「この出勤日は敢え無い」ということは成り立つとすればあの翻車魚は敢え無くないしかつ把握し易くない fact10: あのランニングは素揚げである fact11: もし仮に「この古寺巡礼はつんく♂さんである」ということは成り立てばあの業界最大手はドア・イン・ザ・フェイス・テクニックである fact12: 「あの業界最大手は吊耳鉄鍋でない」ということは本当だ fact13: この古寺巡礼は列車ダイヤであるということはない fact14: この出勤日がビヨンハルケン一家であるとするとあのランニングは把握し易くない一方で敢え無い fact15: もし「この翻車魚は晴れないし更に水田農耕でない」ということは成り立つということはないとすればあの出勤日は水田農耕でない fact16: もしなんらかのものは敢え無いとすると「保ち易くてさらにそれは素揚げでない」ということは成り立たない fact17: あのランニングが素揚げだとすればこの出勤日は敢え無い
fact17 & fact10 -> int1: この出勤日は敢え無い; int1 & fact9 -> int2: この翻車魚は敢え無くないし把握し易くない; int2 -> int3: この翻車魚は把握し易くない; fact6 -> int4: もし仮にこの翻車魚が把握し易くないとすればビヨンハルケン一家でないし更にそれは出来映えだ; int3 & int4 -> int5: この翻車魚はビヨンハルケン一家でないけど出来映えだ; int5 & fact7 -> hypothesis;
この体育館は保ち易くない
fact22 -> int6: もし仮に「あのランニングは敢え無い」ということは嘘だということはないなら「保ち易いが素揚げでない」ということは成り立たない; fact26 -> int7: もし仮に「この出勤日は水田農耕でない」ということは事実であるとするとそれはビヨンハルケン一家で出来映えである; fact24 & fact21 -> int8: この古寺巡礼はつんく♂さんだ; fact23 & int8 -> int9: あの業界最大手はドア・イン・ザ・フェイス・テクニックである; fact20 & int9 -> int10: あの業界最大手は吊耳鉄鍋でないがドア・イン・ザ・フェイス・テクニックだ; int10 -> int11: 「吊耳鉄鍋でないけどドア・イン・ザ・フェイス・テクニックである」ものはある; int11 & fact19 -> int12: あの原産は小茄子でない; fact27 & int12 -> int13: 「この翻車魚は晴れるということはなくて水田農耕でない」ということは成り立たない; fact18 & int13 -> int14: この出勤日は水田農耕でない; int7 & int14 -> int15: この出勤日はビヨンハルケン一家でまた出来映えだ; int15 -> int16: この出勤日はビヨンハルケン一家だ; fact25 & int16 -> int17: あのランニングは把握し易くないけれど敢え無い; int17 -> int18: あのランニングは敢え無い; int6 & int18 -> int19: 「あのランニングは保ち易いが素揚げでない」ということは誤っている; int19 -> int20: 「「保ち易いししかも素揚げでない」ということは成り立たない」ものはある;
$facts$ = fact1: 仮になにかは水田農耕でないとしたら「それはビヨンハルケン一家でおまけに出来映えである」ということは偽でない fact2: なんらかの物が吊耳鉄鍋でない一方でドア・イン・ザ・フェイス・テクニックだとすればあの原産は小茄子でない fact3: 仮にあの原産は小茄子でないなら「この翻車魚は晴れないしそれは水田農耕でない」ということは誤りである fact4: もしもこの古寺巡礼は列車ダイヤでないならば「つんく♂さんである」ということは成り立つ fact5: この翻車魚はビヨンハルケン一家でない fact6: 「もしも何らかの物は把握し易くないとするとビヨンハルケン一家でない一方で出来映えである」ということは成り立つ fact7: もし仮にこの翻車魚がビヨンハルケン一家でないけどそれが出来映えだとすればこの体育館は保ち易い fact8: なんらかのものが敢え無くないとするとそれは保ち易くて素揚げである fact9: 「この出勤日は敢え無い」ということは成り立つとすればあの翻車魚は敢え無くないしかつ把握し易くない fact10: あのランニングは素揚げである fact11: もし仮に「この古寺巡礼はつんく♂さんである」ということは成り立てばあの業界最大手はドア・イン・ザ・フェイス・テクニックである fact12: 「あの業界最大手は吊耳鉄鍋でない」ということは本当だ fact13: この古寺巡礼は列車ダイヤであるということはない fact14: この出勤日がビヨンハルケン一家であるとするとあのランニングは把握し易くない一方で敢え無い fact15: もし「この翻車魚は晴れないし更に水田農耕でない」ということは成り立つということはないとすればあの出勤日は水田農耕でない fact16: もしなんらかのものは敢え無いとすると「保ち易くてさらにそれは素揚げでない」ということは成り立たない fact17: あのランニングが素揚げだとすればこの出勤日は敢え無い ; $hypothesis$ = この体育館は保ち易い ; $proof$ = 
fact17 & fact10 -> int1: この出勤日は敢え無い; int1 & fact9 -> int2: この翻車魚は敢え無くないし把握し易くない; int2 -> int3: この翻車魚は把握し易くない; fact6 -> int4: もし仮にこの翻車魚が把握し易くないとすればビヨンハルケン一家でないし更にそれは出来映えだ; int3 & int4 -> int5: この翻車魚はビヨンハルケン一家でないけど出来映えだ; int5 & fact7 -> hypothesis; __PROVED__
事実1: 仮になにかは水田農耕でないとしたら「それはビヨンハルケン一家でおまけに出来映えである」ということは偽でない
事実2: なんらかの物が吊耳鉄鍋でない一方でドア・イン・ザ・フェイス・テクニックだとすればあの原産は小茄子でない
事実3: 仮にあの原産は小茄子でないなら「この翻車魚は晴れないしそれは水田農耕でない」ということは誤りである
事実4: もしもこの古寺巡礼は列車ダイヤでないならば「つんく♂さんである」ということは成り立つ
事実5: この翻車魚はビヨンハルケン一家でない
事実6: 「もしも何らかの物は把握し易くないとするとビヨンハルケン一家でない一方で出来映えである」ということは成り立つ
事実7: もし仮にこの翻車魚がビヨンハルケン一家でないけどそれが出来映えだとすればこの体育館は保ち易い
事実8: なんらかのものが敢え無くないとするとそれは保ち易くて素揚げである
事実9: 「この出勤日は敢え無い」ということは成り立つとすればあの翻車魚は敢え無くないしかつ把握し易くない
事実10: あのランニングは素揚げである
事実11: もし仮に「この古寺巡礼はつんく♂さんである」ということは成り立てばあの業界最大手はドア・イン・ザ・フェイス・テクニックである
事実12: 「あの業界最大手は吊耳鉄鍋でない」ということは本当だ
事実13: この古寺巡礼は列車ダイヤであるということはない
事実14: この出勤日がビヨンハルケン一家であるとするとあのランニングは把握し易くない一方で敢え無い
事実15: もし「この翻車魚は晴れないし更に水田農耕でない」ということは成り立つということはないとすればあの出勤日は水田農耕でない
事実16: もしなんらかのものは敢え無いとすると「保ち易くてさらにそれは素揚げでない」ということは成り立たない
事実17: あのランニングが素揚げだとすればこの出勤日は敢え無い

仮説: この体育館は保ち易い
1. 事実17と事実10から、推論1: "この出勤日は敢え無い"が導かれる
2. 推論1と事実9から、推論2: "この翻車魚は敢え無くないし把握し易くない"が導かれる
3. 推論2から、推論3: "この翻車魚は把握し易くない"が導かれる
4. 事実6から、推論4: "もし仮にこの翻車魚が把握し易くないとすればビヨンハルケン一家でないし更にそれは出来映えだ"が導かれる
5. 推論3と推論4から、推論5: "この翻車魚はビヨンハルケン一家でないけど出来映えだ"が導かれる
6. 推論5と事実7から、仮説が導かれる

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