「もし仮に落命しないけれどペナルティであるならばでっかい」物はある
fact1: 仮にそのアベレージ・ストライク・オプションは描写するということはないけど対角線ならきちんとする fact2: 「落命するしペナルティであるとするとでっかい」物はある fact3: この襲来は落命しないがしかしペナルティだとしたらでっかい fact4: 「区別し易くないしおまけに聞き易いなら弁済期である」ものはある fact5: この襲来が意地悪するということはないがそれはヌクレオチドであるとしたらでっかい fact6: あの赤字会社が落命しないけれどそれは自閉的傾向であるとすると腐り易い fact7: 仮にこの襲来が落命するしペナルティだとするとでっかい fact8: もしこの襲来が御紹介致さないけれどそれが自爆すれば勘違いし易い fact9: 「運び上げないけどちまちまするとすれば端正である」ものはある
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 仮にそのアベレージ・ストライク・オプションは描写するということはないけど対角線ならきちんとする fact2: 「落命するしペナルティであるとするとでっかい」物はある fact3: この襲来は落命しないがしかしペナルティだとしたらでっかい fact4: 「区別し易くないしおまけに聞き易いなら弁済期である」ものはある fact5: この襲来が意地悪するということはないがそれはヌクレオチドであるとしたらでっかい fact6: あの赤字会社が落命しないけれどそれは自閉的傾向であるとすると腐り易い fact7: 仮にこの襲来が落命するしペナルティだとするとでっかい fact8: もしこの襲来が御紹介致さないけれどそれが自爆すれば勘違いし易い fact9: 「運び上げないけどちまちまするとすれば端正である」ものはある ; $hypothesis$ = 「もし仮に落命しないけれどペナルティであるならばでっかい」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にそのアベレージ・ストライク・オプションは描写するということはないけど対角線ならきちんとする
事実2: 「落命するしペナルティであるとするとでっかい」物はある
事実3: この襲来は落命しないがしかしペナルティだとしたらでっかい
事実4: 「区別し易くないしおまけに聞き易いなら弁済期である」ものはある
事実5: この襲来が意地悪するということはないがそれはヌクレオチドであるとしたらでっかい
事実6: あの赤字会社が落命しないけれどそれは自閉的傾向であるとすると腐り易い
事実7: 仮にこの襲来が落命するしペナルティだとするとでっかい
事実8: もしこの襲来が御紹介致さないけれどそれが自爆すれば勘違いし易い
事実9: 「運び上げないけどちまちまするとすれば端正である」ものはある

仮説: 「もし仮に落命しないけれどペナルティであるならばでっかい」物はある
1. 事実3から、仮説が導かれる

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