この平野は締めっぽくない
fact1: 何らかのものは落ち窪むということはないし歌い掛けない fact2: なんらかのものは哲学的問題でなくて更に胡散臭いということはない fact3: この一礼は開き易いしかつ隠し続ける fact4: 一利無しは締めっぽい fact5: 「「哲学的問題であるし胡散臭くない」ということは成り立つ」物はある fact6: もし仮に「哲学的問題であるということはないししかも胡散臭くない」物はあるとしたら「この一礼はさもしい」ということは成り立つ fact7: もし何かはさもしいしおまけに開き易いとすればこの平野は一利無しである fact8: この一礼は隠し続ける fact9: 「さもしい」物はある fact10: この一礼は胡散臭い fact11: 何らかのものは哲学的問題でないけれど胡散臭い fact12: 「あるものは胡散臭いがしかし哲学的問題でない」ということは成り立たないとするとそれは締めっぽくない fact13: この平野は甘ったるくてそれに浅し fact14: 「哲学的問題でない」物はある fact15: もしなにがしかの物はさもしくないならば「それは胡散臭いしそれは哲学的問題でない」ということは誤っている fact16: 「胡散臭いということはない」ものはある fact17: もし仮にこの平野が開き易くてそれは一利無しであるとするとそれはさもしいということはない fact18: 「開き易い」物はある
fact2 & fact6 -> int1: この一礼はさもしい; fact3 -> int2: この一礼は開き易い; int1 & int2 -> int3: この一礼はさもしいものであり開き易い; int3 -> int4: なにかはさもしいし更に開き易い; int4 & fact7 -> int5: この平野は一利無しだ; fact4 -> int6: 仮にこの平野は一利無しであるとしたら締めっぽい; int5 & int6 -> hypothesis;
この平野は締めっぽくない
fact19 -> int7: もし「この平野は胡散臭い一方でそれは哲学的問題でない」ということは成り立たないとすると締めっぽくない; fact21 -> int8: 「もしもこの平野はさもしくないとしたら「この平野は胡散臭いがそれは哲学的問題だということはない」ということは事実と異なる」ということは成り立つ;
$facts$ = fact1: 何らかのものは落ち窪むということはないし歌い掛けない fact2: なんらかのものは哲学的問題でなくて更に胡散臭いということはない fact3: この一礼は開き易いしかつ隠し続ける fact4: 一利無しは締めっぽい fact5: 「「哲学的問題であるし胡散臭くない」ということは成り立つ」物はある fact6: もし仮に「哲学的問題であるということはないししかも胡散臭くない」物はあるとしたら「この一礼はさもしい」ということは成り立つ fact7: もし何かはさもしいしおまけに開き易いとすればこの平野は一利無しである fact8: この一礼は隠し続ける fact9: 「さもしい」物はある fact10: この一礼は胡散臭い fact11: 何らかのものは哲学的問題でないけれど胡散臭い fact12: 「あるものは胡散臭いがしかし哲学的問題でない」ということは成り立たないとするとそれは締めっぽくない fact13: この平野は甘ったるくてそれに浅し fact14: 「哲学的問題でない」物はある fact15: もしなにがしかの物はさもしくないならば「それは胡散臭いしそれは哲学的問題でない」ということは誤っている fact16: 「胡散臭いということはない」ものはある fact17: もし仮にこの平野が開き易くてそれは一利無しであるとするとそれはさもしいということはない fact18: 「開き易い」物はある ; $hypothesis$ = この平野は締めっぽくない ; $proof$ = 
fact2 & fact6 -> int1: この一礼はさもしい; fact3 -> int2: この一礼は開き易い; int1 & int2 -> int3: この一礼はさもしいものであり開き易い; int3 -> int4: なにかはさもしいし更に開き易い; int4 & fact7 -> int5: この平野は一利無しだ; fact4 -> int6: 仮にこの平野は一利無しであるとしたら締めっぽい; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 何らかのものは落ち窪むということはないし歌い掛けない
事実2: なんらかのものは哲学的問題でなくて更に胡散臭いということはない
事実3: この一礼は開き易いしかつ隠し続ける
事実4: 一利無しは締めっぽい
事実5: 「「哲学的問題であるし胡散臭くない」ということは成り立つ」物はある
事実6: もし仮に「哲学的問題であるということはないししかも胡散臭くない」物はあるとしたら「この一礼はさもしい」ということは成り立つ
事実7: もし何かはさもしいしおまけに開き易いとすればこの平野は一利無しである
事実8: この一礼は隠し続ける
事実9: 「さもしい」物はある
事実10: この一礼は胡散臭い
事実11: 何らかのものは哲学的問題でないけれど胡散臭い
事実12: 「あるものは胡散臭いがしかし哲学的問題でない」ということは成り立たないとするとそれは締めっぽくない
事実13: この平野は甘ったるくてそれに浅し
事実14: 「哲学的問題でない」物はある
事実15: もしなにがしかの物はさもしくないならば「それは胡散臭いしそれは哲学的問題でない」ということは誤っている
事実16: 「胡散臭いということはない」ものはある
事実17: もし仮にこの平野が開き易くてそれは一利無しであるとするとそれはさもしいということはない
事実18: 「開き易い」物はある

仮説: この平野は締めっぽくない
1. 事実2と事実6から、推論1: "この一礼はさもしい"が導かれる
2. 事実3から、推論2: "この一礼は開き易い"が導かれる
3. 推論1と推論2から、推論3: "この一礼はさもしいものであり開き易い"が導かれる
4. 推論3から、推論4: "なにかはさもしいし更に開き易い"が導かれる
5. 推論4と事実7から、推論5: "この平野は一利無しだ"が導かれる
6. 事実4から、推論6: "仮にこの平野は一利無しであるとしたら締めっぽい"が導かれる
7. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。