「その滑り莧は勿体無い」ということは成り立つ
fact1: もし仮にこの歩行感が勿体無いならその滑り莧は突き掛かる fact2: もし仮に「この歩行感は突き掛かる」ということは成り立つならばあの滑り莧は勿体無い fact3: もし仮にこの再上映は妻せるということはなくて竹筒でないとするとそれは物憂くない fact4: その保存は野暮ったい fact5: その滑り莧は出現し始めるということはなくておまけに催告しない fact6: この再上映は勿体無くない fact7: この再上映は妻せらなくてそれにそれは竹筒でない fact8: 仮にある物が最大航続距離でないならば支払うかあるいは単独犯行であるかもしくはどちらもだ fact9: もしもこの歩行感が妻せるとしたらこの再上映は自前主義である fact10: この再上映が物憂いとしたらその滑り莧は妻せる fact11: この歩行感は物憂くない fact12: この再上映は稼ぎでなくて加えて疑い深くない fact13: もし「この再上映は自前主義だ」ということは確かだとするとこの歩行感は突き掛かる fact14: もし仮にその滑り莧は同合唱団だということはないならば「それは突き掛からないかまたはそれは自前主義であるかあるいはどちらもである」ということは成り立たない fact15: 仮にその滑り莧が物憂いならばあの再上映は勿体無い fact16: この再上映は突き掛かる fact17: 仮にこの歩行感は自前主義であるけれど竹筒でないならばそれは突き掛からない fact18: この再上映は素人っぽい fact19: この学識経験は物憂いということはない fact20: もしこの再上映が野暮ったいとすればこの歩行感は突き掛かる fact21: もしもこの歩行感が妻せるとすればこの再上映は突き掛かる fact22: もし仮にこの歩行感が自前主義であるならこの再上映は突き掛かる fact23: もし仮にあるものが物憂くないとするとそれは自前主義であるかあるいは野暮ったいか両方ともである
fact3 & fact7 -> int1: 「この再上映は物憂いということはない」ということは真実である; fact23 -> int2: もしこの再上映が物憂いということはないとしたら自前主義であるかまたは野暮ったい; int1 & int2 -> int3: この再上映は自前主義であるかあるいは野暮ったいかあるいは両方だ; int3 & fact13 & fact20 -> int4: この歩行感は突き掛かる; int4 & fact2 -> hypothesis;
その滑り莧は勿体無くない
$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$ = 
fact3 & fact7 -> int1: 「この再上映は物憂いということはない」ということは真実である; fact23 -> int2: もしこの再上映が物憂いということはないとしたら自前主義であるかまたは野暮ったい; int1 & int2 -> int3: この再上映は自前主義であるかあるいは野暮ったいかあるいは両方だ; int3 & fact13 & fact20 -> int4: この歩行感は突き掛かる; int4 & fact2 -> 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. 事実3と事実7から、推論1: "「この再上映は物憂いということはない」ということは真実である"が導かれる
2. 事実23から、推論2: "もしこの再上映が物憂いということはないとしたら自前主義であるかまたは野暮ったい"が導かれる
3. 推論1と推論2から、推論3: "この再上映は自前主義であるかあるいは野暮ったいかあるいは両方だ"が導かれる
4. 推論3と事実13と事実20から、推論4: "この歩行感は突き掛かる"が導かれる
5. 推論4と事実2から、仮説が導かれる

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