この袖下は出来上がる
fact1: 仮にあるものがしょぼくないとしたら出来上がる fact2: もし仮になんらかの物が狡っ辛いならそれは併呑するがしょぼくない fact3: もしも「なにかは併呑するかそれはしょぼくないかまたは両方ともだ」ということは間違っているなら出来上がるということはない fact4: この袖下は出来上がる fact5: 「あの高校生活は出来上がる」ということは成り立つ
fact4 -> hypothesis;
fact4 -> hypothesis;
あの一レースは出来上がる
fact7 -> int1: あの一レースはしょぼくないならば「出来上がる」ということは確かである; fact6 -> int2: もしあの一レースが狡っ辛いとしたらそれは併呑するがしかししょぼくない;
$facts$ = fact1: 仮にあるものがしょぼくないとしたら出来上がる fact2: もし仮になんらかの物が狡っ辛いならそれは併呑するがしょぼくない fact3: もしも「なにかは併呑するかそれはしょぼくないかまたは両方ともだ」ということは間違っているなら出来上がるということはない fact4: この袖下は出来上がる fact5: 「あの高校生活は出来上がる」ということは成り立つ ; $hypothesis$ = この袖下は出来上がる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にあるものがしょぼくないとしたら出来上がる
事実2: もし仮になんらかの物が狡っ辛いならそれは併呑するがしょぼくない
事実3: もしも「なにかは併呑するかそれはしょぼくないかまたは両方ともだ」ということは間違っているなら出来上がるということはない
事実4: この袖下は出来上がる
事実5: 「あの高校生活は出来上がる」ということは成り立つ

仮説: この袖下は出来上がる
1. 事実4から、仮説が導かれる

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