あの高直は下付するということはない
fact1: もしも「あのヒドロキシスチレンがホールインワンするしその上甚だし」ということは本当でないとするとあの高直は下付しない fact2: 「あのヒドロキシスチレンはホールインワンするし甚だし」ということは誤っている fact3: もし仮になんらかのものが心安くないかもしくはそれは下付するかまたは両方ともであるとすると「下付する」ということは事実だ fact4: もし仮にあのヒドロキシスチレンがホールインワンしないならばあの高直は下付しない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
あの高直は下付する
fact5 -> int1: もしあの高直が心安くないかあるいはそれは下付するかまたは両方であるならば下付する;
$facts$ = fact1: もしも「あのヒドロキシスチレンがホールインワンするしその上甚だし」ということは本当でないとするとあの高直は下付しない fact2: 「あのヒドロキシスチレンはホールインワンするし甚だし」ということは誤っている fact3: もし仮になんらかのものが心安くないかもしくはそれは下付するかまたは両方ともであるとすると「下付する」ということは事実だ fact4: もし仮にあのヒドロキシスチレンがホールインワンしないならばあの高直は下付しない ; $hypothesis$ = あの高直は下付するということはない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしも「あのヒドロキシスチレンがホールインワンするしその上甚だし」ということは本当でないとするとあの高直は下付しない
事実2: 「あのヒドロキシスチレンはホールインワンするし甚だし」ということは誤っている
事実3: もし仮になんらかのものが心安くないかもしくはそれは下付するかまたは両方ともであるとすると「下付する」ということは事実だ
事実4: もし仮にあのヒドロキシスチレンがホールインワンしないならばあの高直は下付しない

仮説: あの高直は下付するということはない
1. 事実1と事実2から、仮説が導かれる

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