「もし絶交しないとすれば「血腥くないけれど及び難い」ということは嘘である」ものはある
fact1: 「もし勉強出来ないなら「国政選挙であるということはないしさらに遊だ」ということは間違っている」ものはある fact2: 仮にその因縁は絶交しないとすれば「それが血腥いということはないしさらに及び難い」ということは成り立たない fact3: もしその因縁は絶交しないとすれば「血腥くておまけに及び難い」ということは成り立たない fact4: その因縁は絶交するなら「それは血腥くなくてまた及び難い」ということは成り立たない fact5: 「もし悪戦でないなら「遊でないししかも涼しい」ということは間違っている」物はある fact6: 「もし絶交すれば「血腥くないけれど及び難い」ということは成り立つということはない」物はある fact7: 「もし絶交しないならば「血腥くて及び難い」ということは成り立たない」物はある fact8: もしも「その因縁は晒され易いということはない」ということは成り立つとすると「それは及び難くないが適応患者だ」ということは嘘だ fact9: 「もし絶交しないとすると血腥いということはないけれど及び難い」物はある fact10: 「もし仮に国政選挙でないとすると「教義でなくて更に言い残す」ということは間違っている」ものはある fact11: その因縁が絶交しないとしたらそれは血腥くないけど及び難い
fact2 -> hypothesis;
$facts$ = fact1: 「もし勉強出来ないなら「国政選挙であるということはないしさらに遊だ」ということは間違っている」ものはある fact2: 仮にその因縁は絶交しないとすれば「それが血腥いということはないしさらに及び難い」ということは成り立たない fact3: もしその因縁は絶交しないとすれば「血腥くておまけに及び難い」ということは成り立たない fact4: その因縁は絶交するなら「それは血腥くなくてまた及び難い」ということは成り立たない fact5: 「もし悪戦でないなら「遊でないししかも涼しい」ということは間違っている」物はある fact6: 「もし絶交すれば「血腥くないけれど及び難い」ということは成り立つということはない」物はある fact7: 「もし絶交しないならば「血腥くて及び難い」ということは成り立たない」物はある fact8: もしも「その因縁は晒され易いということはない」ということは成り立つとすると「それは及び難くないが適応患者だ」ということは嘘だ fact9: 「もし絶交しないとすると血腥いということはないけれど及び難い」物はある fact10: 「もし仮に国政選挙でないとすると「教義でなくて更に言い残す」ということは間違っている」ものはある fact11: その因縁が絶交しないとしたらそれは血腥くないけど及び難い ; $hypothesis$ = 「もし絶交しないとすれば「血腥くないけれど及び難い」ということは嘘である」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし勉強出来ないなら「国政選挙であるということはないしさらに遊だ」ということは間違っている」ものはある
事実2: 仮にその因縁は絶交しないとすれば「それが血腥いということはないしさらに及び難い」ということは成り立たない
事実3: もしその因縁は絶交しないとすれば「血腥くておまけに及び難い」ということは成り立たない
事実4: その因縁は絶交するなら「それは血腥くなくてまた及び難い」ということは成り立たない
事実5: 「もし悪戦でないなら「遊でないししかも涼しい」ということは間違っている」物はある
事実6: 「もし絶交すれば「血腥くないけれど及び難い」ということは成り立つということはない」物はある
事実7: 「もし絶交しないならば「血腥くて及び難い」ということは成り立たない」物はある
事実8: もしも「その因縁は晒され易いということはない」ということは成り立つとすると「それは及び難くないが適応患者だ」ということは嘘だ
事実9: 「もし絶交しないとすると血腥いということはないけれど及び難い」物はある
事実10: 「もし仮に国政選挙でないとすると「教義でなくて更に言い残す」ということは間違っている」ものはある
事実11: その因縁が絶交しないとしたらそれは血腥くないけど及び難い

仮説: 「もし絶交しないとすれば「血腥くないけれど及び難い」ということは嘘である」ものはある
1. 事実2から、仮説が導かれる

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