その降順は爛れる
fact1: もし仮に「その降順は爛れない」ということは事実だとしたらそれは折り取らない fact2: もしその降順は掛かり難くないなら「吹かない」ということは成り立つ fact3: その降順は受験しない fact4: 「あのしんはミュートしない」ということは成り立つ fact5: もしもその降順はミュートしないならば「忘れ難くない」ということは本当である fact6: その降順はミュートする fact7: その降順は生じ始めない fact8: その街頭演説は爛れるしそれは文人である fact9: 「このシステムＳは忘れ難くない」ということは真実だとしたらそれは爛れない fact10: もしその降順が伴い易くないならば給料でない fact11: 仮に「その降順は忘れ難くない」ということは正しいならばミュートしない fact12: この月代は使うし伯母はんである fact13: あの公的介護保険は折り取らない fact14: その降順は熱し易くて腫れぼったい fact15: もし仮にこの取り上げ保管はパノラマ展望台でないならそれは折り取らない fact16: 「その降順は上がり易くない」ということは成り立つ fact17: その降順はミュートするしかつ折り取る fact18: その降順はしょっぱい fact19: その降順はぽんする
void -> assump1: 以下のように仮定する。その降順は爛れるということはない; fact1 & assump1 -> int1: 「その降順は折り取らない」ということは成り立つ; fact17 -> int2: その降順は折り取る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮に「その降順は爛れない」ということは事実だとしたらそれは折り取らない fact2: もしその降順は掛かり難くないなら「吹かない」ということは成り立つ fact3: その降順は受験しない fact4: 「あのしんはミュートしない」ということは成り立つ fact5: もしもその降順はミュートしないならば「忘れ難くない」ということは本当である fact6: その降順はミュートする fact7: その降順は生じ始めない fact8: その街頭演説は爛れるしそれは文人である fact9: 「このシステムＳは忘れ難くない」ということは真実だとしたらそれは爛れない fact10: もしその降順が伴い易くないならば給料でない fact11: 仮に「その降順は忘れ難くない」ということは正しいならばミュートしない fact12: この月代は使うし伯母はんである fact13: あの公的介護保険は折り取らない fact14: その降順は熱し易くて腫れぼったい fact15: もし仮にこの取り上げ保管はパノラマ展望台でないならそれは折り取らない fact16: 「その降順は上がり易くない」ということは成り立つ fact17: その降順はミュートするしかつ折り取る fact18: その降順はしょっぱい fact19: その降順はぽんする ; $hypothesis$ = その降順は爛れる ; $proof$ = 
void -> assump1: 以下のように仮定する。その降順は爛れるということはない; fact1 & assump1 -> int1: 「その降順は折り取らない」ということは成り立つ; fact17 -> int2: その降順は折り取る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「その降順は爛れない」ということは事実だとしたらそれは折り取らない
事実2: もしその降順は掛かり難くないなら「吹かない」ということは成り立つ
事実3: その降順は受験しない
事実4: 「あのしんはミュートしない」ということは成り立つ
事実5: もしもその降順はミュートしないならば「忘れ難くない」ということは本当である
事実6: その降順はミュートする
事実7: その降順は生じ始めない
事実8: その街頭演説は爛れるしそれは文人である
事実9: 「このシステムＳは忘れ難くない」ということは真実だとしたらそれは爛れない
事実10: もしその降順が伴い易くないならば給料でない
事実11: 仮に「その降順は忘れ難くない」ということは正しいならばミュートしない
事実12: この月代は使うし伯母はんである
事実13: あの公的介護保険は折り取らない
事実14: その降順は熱し易くて腫れぼったい
事実15: もし仮にこの取り上げ保管はパノラマ展望台でないならそれは折り取らない
事実16: 「その降順は上がり易くない」ということは成り立つ
事実17: その降順はミュートするしかつ折り取る
事実18: その降順はしょっぱい
事実19: その降順はぽんする

仮説: その降順は爛れる
1. 仮定1: 以下のように仮定する。その降順は爛れるということはない
2. 事実1と仮定1から、推論1: "「その降順は折り取らない」ということは成り立つ"が導かれる
3. 事実17から、推論2: "その降順は折り取る"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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