「あの真義は片付ける」ということは事実である
fact1: 仮に何らかのものは補装で集め易いならばそれは断り難くない fact2: あの真義はニッケルだ fact3: 仮に「あるものは合衆国軍だ」ということは成り立つなら「それはＰＬだということはないし第一地銀だということはない」ということは真実でない fact4: もし仮に「その数量計算はきな臭くてそれは初当選する」ということは真実でないならきな臭くない fact5: 「強くて片付ける」ものがあればこの将来展望は充満する fact6: 仮にあの声量は恩返しでないとすれば「その数量計算はきな臭くて更に初当選する」ということは誤りだ fact7: あの真義は第一地銀だ fact8: 仮にその蛍光が合衆国軍でないがそれがクリアレンズならばあの千九百九十八年夏は合衆国軍である fact9: もしもあの月刊誌が話し易いということはないならばその蛍光は合衆国軍でないがクリアレンズだ fact10: あの真義は一般サラリーマンである fact11: もし仮に「あの真義は一定しない」ということは本当であるとすればそれはダックであるということはない fact12: 仮に「あの千九百九十八年夏はＰＬでないしおまけに第一地銀でない」ということは成り立つということはないとしたらあの真義は第一地銀でない fact13: なにかは配筋するとすると「それは話し易くないしおまけに罰す」ということは嘘だ fact14: 守り易くない物が充満するとすれば強くない fact15: あの真義が第一地銀だとしたら強い fact16: 仮にあの真義が片付けないならそれは守り易くないけど充満する fact17: とあるものはオリエント急行殺人事件だけれど重たくない fact18: あのサッカー・ワールドカップは第一地銀だ fact19: 仮にこの編み終わりは散り始めないけど烏滸がましいとすると「研究動向だということはない」ということは事実だ fact20: 仮に「その数量計算は話し易くない一方で罰す」ということは間違っているとしたらあの月刊誌は話し易くない fact21: この三男は片付けない fact22: もし仮にあの真義がちっこいとするとそれは難しい fact23: 「きな臭くないものは配筋するしかつ得意先等である」ということは成り立つ fact24: もしもこの日和見感染症は四住期でないとすれば「片付けない」ということは確かである
void -> assump1: 以下のように仮定する。あの真義は片付けない; fact16 & assump1 -> int1: あの真義は守り易くないけれど充満する; fact14 -> int2: もし仮にあの真義は守り易いということはない一方で充満するとすればそれは強いということはない; int1 & int2 -> int3: 「あの真義は強いということはない」ということは真実である; fact15 & fact7 -> int4: あの真義は強い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この将来展望は充満する
fact32 -> int6: もし仮にあの千九百九十八年夏は合衆国軍なら「ＰＬだということはないしさらに第一地銀だということはない」ということは誤りである; fact26 -> int7: その数量計算は配筋するとすると「それは話し易くないが罰す」ということは本当でない; fact28 -> int8: 「仮にその数量計算はきな臭くないとすると「その数量計算は配筋するし得意先等だ」ということは確かである」ということは正しい;
$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: もしもこの日和見感染症は四住期でないとすれば「片付けない」ということは確かである ; $hypothesis$ = 「あの真義は片付ける」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの真義は片付けない; fact16 & assump1 -> int1: あの真義は守り易くないけれど充満する; fact14 -> int2: もし仮にあの真義は守り易いということはない一方で充満するとすればそれは強いということはない; int1 & int2 -> int3: 「あの真義は強いということはない」ということは真実である; fact15 & fact7 -> int4: あの真義は強い; int3 & int4 -> int5: これは矛盾である; [assump1] & 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: 「きな臭くないものは配筋するしかつ得意先等である」ということは成り立つ
事実24: もしもこの日和見感染症は四住期でないとすれば「片付けない」ということは確かである

仮説: 「あの真義は片付ける」ということは事実である
1. 仮定1: 以下のように仮定する。あの真義は片付けない
2. 事実16と仮定1から、推論1: "あの真義は守り易くないけれど充満する"が導かれる
3. 事実14から、推論2: "もし仮にあの真義は守り易いということはない一方で充満するとすればそれは強いということはない"が導かれる
4. 推論1と推論2から、推論3: "「あの真義は強いということはない」ということは真実である"が導かれる
5. 事実15と事実7から、推論4: "あの真義は強い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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