「もし開き過ぎるということはないとすれば装備する」ものはある
fact1: 「仮に耐え得るなら回せる」ものはある fact2: もし何かは社会的利益でないなら惜しい fact3: 仮にあの解決策は開き過ぎるとしたら「それは装備する」ということは本当である fact4: あの解決策が開き過ぎないとすると装備する fact5: 「もしも開き過ぎれば装備する」ものはある fact6: 「仮に「諦め切る」ということは成り立つとすると組合財産である」ものはある fact7: 「もしも根気良いなら他言する」ものはある fact8: むくつけしということはない物は装備する
fact4 -> hypothesis;
もしもその流域全体は社会的利益でないとすると惜しい
fact9 -> hypothesis;
$facts$ = fact1: 「仮に耐え得るなら回せる」ものはある fact2: もし何かは社会的利益でないなら惜しい fact3: 仮にあの解決策は開き過ぎるとしたら「それは装備する」ということは本当である fact4: あの解決策が開き過ぎないとすると装備する fact5: 「もしも開き過ぎれば装備する」ものはある fact6: 「仮に「諦め切る」ということは成り立つとすると組合財産である」ものはある fact7: 「もしも根気良いなら他言する」ものはある fact8: むくつけしということはない物は装備する ; $hypothesis$ = 「もし開き過ぎるということはないとすれば装備する」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「仮に耐え得るなら回せる」ものはある
事実2: もし何かは社会的利益でないなら惜しい
事実3: 仮にあの解決策は開き過ぎるとしたら「それは装備する」ということは本当である
事実4: あの解決策が開き過ぎないとすると装備する
事実5: 「もしも開き過ぎれば装備する」ものはある
事実6: 「仮に「諦め切る」ということは成り立つとすると組合財産である」ものはある
事実7: 「もしも根気良いなら他言する」ものはある
事実8: むくつけしということはない物は装備する

仮説: 「もし開き過ぎるということはないとすれば装備する」ものはある
1. 事実4から、仮説が導かれる

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