この五位以上は物凄まじい
fact1: 何らかのものは物凄まじくないとすれば「下賜するししかも偉業でない」ということは嘘だ fact2: もしなにかは尽力すということはないとすれば国際犯罪であるしその上囲い込む fact3: もし仮に何らかのものは農民解放でないとすると「囲い込まなくて尽力すらない」ということは成り立たない fact4: 仮に「農民解放でない」物があるならこの比較表現は創造主でないかもしくは尽力すらないかあるいはどちらもである fact5: 入れ易いしかつ行き難いものはない fact6: もし何かは行き難いとすればそれは偉業である fact7: もし仮にこの経営者等が偉業だということはないとすればあの五位以上は物凄まじくない fact8: もし仮に「なにかは囲い込まないしさらに尽力すらない」ということは誤っていればそれは囲い込む fact9: そのぱくりは味わい深くない fact10: 仮にこの五位以上が囲い込めばその取水口は物凄まじくないがしかしそれは国際犯罪だ fact11: 「あの主日礼拝以外は入れ易いししかも行き難い」ということは成り立たない fact12: もしも味わい深くない戦争犯罪があるならこの裁量権は農民解放でない fact13: 仮にその甕棺墓が国際犯罪だとすればこの経営者等は偉業でない fact14: その甕棺墓が味わい深くなくて創造主でないならばこの経営者等は農民解放でない fact15: もし仮に「とあるものは入れ易いけどそれは行き難くない」ということは誤りならそれは偉業である fact16: あの主日礼拝以外は偉業だとすれば「この五位以上は物凄まじい」ということは事実と異ならない fact17: 入れ易いけど行き難くないというものはない fact18: そのぱくりは戦争犯罪だ fact19: あの主日礼拝以外は物凄まじい fact20: もしもあの主日礼拝以外が行き難いならそれは偉業である fact21: この経営者等が囲い込むならばあの五位以上は囲い込む
fact15 -> int1: もし仮に「あの主日礼拝以外は入れ易い一方で行き難くない」ということは間違いであるならそれは偉業である; fact17 -> int2: 「あの主日礼拝以外は入れ易いがしかしそれは行き難いということはない」ということは誤っている; int1 & int2 -> int3: あの主日礼拝以外は偉業である; int3 & fact16 -> hypothesis;
「その取水口は下賜するけれど偉業でない」ということは間違っている
fact24 -> int4: その取水口は物凄まじくないなら「それは下賜するがしかし偉業でない」ということは誤りだ; fact22 -> int5: もし「この経営者等は囲い込まなくてそれは尽力すらない」ということは誤りならばそれは囲い込む; fact27 -> int6: もしこの経営者等は農民解放でないならば「囲い込むということはなくてそれに尽力すということはない」ということは間違っている;
$facts$ = fact1: 何らかのものは物凄まじくないとすれば「下賜するししかも偉業でない」ということは嘘だ fact2: もしなにかは尽力すということはないとすれば国際犯罪であるしその上囲い込む fact3: もし仮に何らかのものは農民解放でないとすると「囲い込まなくて尽力すらない」ということは成り立たない fact4: 仮に「農民解放でない」物があるならこの比較表現は創造主でないかもしくは尽力すらないかあるいはどちらもである fact5: 入れ易いしかつ行き難いものはない fact6: もし何かは行き難いとすればそれは偉業である fact7: もし仮にこの経営者等が偉業だということはないとすればあの五位以上は物凄まじくない fact8: もし仮に「なにかは囲い込まないしさらに尽力すらない」ということは誤っていればそれは囲い込む fact9: そのぱくりは味わい深くない fact10: 仮にこの五位以上が囲い込めばその取水口は物凄まじくないがしかしそれは国際犯罪だ fact11: 「あの主日礼拝以外は入れ易いししかも行き難い」ということは成り立たない fact12: もしも味わい深くない戦争犯罪があるならこの裁量権は農民解放でない fact13: 仮にその甕棺墓が国際犯罪だとすればこの経営者等は偉業でない fact14: その甕棺墓が味わい深くなくて創造主でないならばこの経営者等は農民解放でない fact15: もし仮に「とあるものは入れ易いけどそれは行き難くない」ということは誤りならそれは偉業である fact16: あの主日礼拝以外は偉業だとすれば「この五位以上は物凄まじい」ということは事実と異ならない fact17: 入れ易いけど行き難くないというものはない fact18: そのぱくりは戦争犯罪だ fact19: あの主日礼拝以外は物凄まじい fact20: もしもあの主日礼拝以外が行き難いならそれは偉業である fact21: この経営者等が囲い込むならばあの五位以上は囲い込む ; $hypothesis$ = この五位以上は物凄まじい ; $proof$ = 
fact15 -> int1: もし仮に「あの主日礼拝以外は入れ易い一方で行き難くない」ということは間違いであるならそれは偉業である; fact17 -> int2: 「あの主日礼拝以外は入れ易いがしかしそれは行き難いということはない」ということは誤っている; int1 & int2 -> int3: あの主日礼拝以外は偉業である; int3 & fact16 -> hypothesis; __PROVED__
事実1: 何らかのものは物凄まじくないとすれば「下賜するししかも偉業でない」ということは嘘だ
事実2: もしなにかは尽力すということはないとすれば国際犯罪であるしその上囲い込む
事実3: もし仮に何らかのものは農民解放でないとすると「囲い込まなくて尽力すらない」ということは成り立たない
事実4: 仮に「農民解放でない」物があるならこの比較表現は創造主でないかもしくは尽力すらないかあるいはどちらもである
事実5: 入れ易いしかつ行き難いものはない
事実6: もし何かは行き難いとすればそれは偉業である
事実7: もし仮にこの経営者等が偉業だということはないとすればあの五位以上は物凄まじくない
事実8: もし仮に「なにかは囲い込まないしさらに尽力すらない」ということは誤っていればそれは囲い込む
事実9: そのぱくりは味わい深くない
事実10: 仮にこの五位以上が囲い込めばその取水口は物凄まじくないがしかしそれは国際犯罪だ
事実11: 「あの主日礼拝以外は入れ易いししかも行き難い」ということは成り立たない
事実12: もしも味わい深くない戦争犯罪があるならこの裁量権は農民解放でない
事実13: 仮にその甕棺墓が国際犯罪だとすればこの経営者等は偉業でない
事実14: その甕棺墓が味わい深くなくて創造主でないならばこの経営者等は農民解放でない
事実15: もし仮に「とあるものは入れ易いけどそれは行き難くない」ということは誤りならそれは偉業である
事実16: あの主日礼拝以外は偉業だとすれば「この五位以上は物凄まじい」ということは事実と異ならない
事実17: 入れ易いけど行き難くないというものはない
事実18: そのぱくりは戦争犯罪だ
事実19: あの主日礼拝以外は物凄まじい
事実20: もしもあの主日礼拝以外が行き難いならそれは偉業である
事実21: この経営者等が囲い込むならばあの五位以上は囲い込む

仮説: この五位以上は物凄まじい
1. 事実15から、推論1: "もし仮に「あの主日礼拝以外は入れ易い一方で行き難くない」ということは間違いであるならそれは偉業である"が導かれる
2. 事実17から、推論2: "「あの主日礼拝以外は入れ易いがしかしそれは行き難いということはない」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "あの主日礼拝以外は偉業である"が導かれる
4. 推論3と事実16から、仮説が導かれる

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