この足関節以上は消し飛ばない
fact1: この足関節以上は息苦しいが併用しないならそれは消し飛ばない fact2: もしもなにかは物欲しかないとすると部首だし更に噛み続ける fact3: 回復方向は息苦しくなくてその上物憂いということはない fact4: 部首は回復方向でないけれど消し飛ぶ fact5: 目新しくないものは物欲しかない fact6: この保全処分は息苦しくない fact7: もしもこの足関節以上が息苦しくなくてそれにそれは併用しないとしたら「消し飛ばない」ということは正しい fact8: もしその電鋸音は物珍しいなら「目新しいということはない」ということは成り立つ fact9: この足関節以上は息苦しいということはなくてまた併用しない fact10: もし何らかのものが部首でないならば回復方向であるし消し飛ばない fact11: それは物欲しいがしかし噛み続けないというものはない fact12: その電鋸音は消し飛べば「この足関節以上は消し飛ぶ」ということは真実だ
fact7 & fact9 -> hypothesis;
fact7 & fact9 -> hypothesis;
この足関節以上は消し飛ぶ
fact15 -> int1: 仮にその電鋸音が部首だとしたら回復方向だということはなくてそれは消し飛ぶ; fact13 -> int2: もしその電鋸音が物欲しかないとするとそれは部首であるし更に噛み続ける; fact17 -> int3: もしもその電鋸音が目新しくないとすれば物欲しかない;
$facts$ = fact1: この足関節以上は息苦しいが併用しないならそれは消し飛ばない fact2: もしもなにかは物欲しかないとすると部首だし更に噛み続ける fact3: 回復方向は息苦しくなくてその上物憂いということはない fact4: 部首は回復方向でないけれど消し飛ぶ fact5: 目新しくないものは物欲しかない fact6: この保全処分は息苦しくない fact7: もしもこの足関節以上が息苦しくなくてそれにそれは併用しないとしたら「消し飛ばない」ということは正しい fact8: もしその電鋸音は物珍しいなら「目新しいということはない」ということは成り立つ fact9: この足関節以上は息苦しいということはなくてまた併用しない fact10: もし何らかのものが部首でないならば回復方向であるし消し飛ばない fact11: それは物欲しいがしかし噛み続けないというものはない fact12: その電鋸音は消し飛べば「この足関節以上は消し飛ぶ」ということは真実だ ; $hypothesis$ = この足関節以上は消し飛ばない ; $proof$ = 
fact7 & fact9 -> hypothesis; __PROVED__
事実1: この足関節以上は息苦しいが併用しないならそれは消し飛ばない
事実2: もしもなにかは物欲しかないとすると部首だし更に噛み続ける
事実3: 回復方向は息苦しくなくてその上物憂いということはない
事実4: 部首は回復方向でないけれど消し飛ぶ
事実5: 目新しくないものは物欲しかない
事実6: この保全処分は息苦しくない
事実7: もしもこの足関節以上が息苦しくなくてそれにそれは併用しないとしたら「消し飛ばない」ということは正しい
事実8: もしその電鋸音は物珍しいなら「目新しいということはない」ということは成り立つ
事実9: この足関節以上は息苦しいということはなくてまた併用しない
事実10: もし何らかのものが部首でないならば回復方向であるし消し飛ばない
事実11: それは物欲しいがしかし噛み続けないというものはない
事実12: その電鋸音は消し飛べば「この足関節以上は消し飛ぶ」ということは真実だ

仮説: この足関節以上は消し飛ばない
1. 事実7と事実9から、仮説が導かれる

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