あの注入前は生々しい
fact1: もしあの第五十六連隊が処理し切れないとしたらあの亭主は考え辛くなくてかつ戦闘委員会でない fact2: もし仮にこの廃置分合が近衛でないならば狂おしいしさらに興奮し易い fact3: 仮にあの種籾がＤＩＰ関節であるとするとあの注入前は生々しかない fact4: 興奮し易くない物は処理し切れないけれど上昇し易い fact5: 仮にあの亭主が考え辛くなくてその上それが戦闘委員会でないならあの種籾はＤＩＰ関節である fact6: この廃置分合が狂おしいししかも興奮し易いとするとあの第五十六連隊は興奮し易くない fact7: あの注入前は生々しい
fact7 -> hypothesis;
fact7 -> hypothesis;
「あの注入前は生々しかない」ということは真実だ
fact10 -> int1: もしあの第五十六連隊は興奮し易くないなら処理し切れないけど上昇し易い;
$facts$ = fact1: もしあの第五十六連隊が処理し切れないとしたらあの亭主は考え辛くなくてかつ戦闘委員会でない fact2: もし仮にこの廃置分合が近衛でないならば狂おしいしさらに興奮し易い fact3: 仮にあの種籾がＤＩＰ関節であるとするとあの注入前は生々しかない fact4: 興奮し易くない物は処理し切れないけれど上昇し易い fact5: 仮にあの亭主が考え辛くなくてその上それが戦闘委員会でないならあの種籾はＤＩＰ関節である fact6: この廃置分合が狂おしいししかも興奮し易いとするとあの第五十六連隊は興奮し易くない fact7: あの注入前は生々しい ; $hypothesis$ = あの注入前は生々しい ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしあの第五十六連隊が処理し切れないとしたらあの亭主は考え辛くなくてかつ戦闘委員会でない
事実2: もし仮にこの廃置分合が近衛でないならば狂おしいしさらに興奮し易い
事実3: 仮にあの種籾がＤＩＰ関節であるとするとあの注入前は生々しかない
事実4: 興奮し易くない物は処理し切れないけれど上昇し易い
事実5: 仮にあの亭主が考え辛くなくてその上それが戦闘委員会でないならあの種籾はＤＩＰ関節である
事実6: この廃置分合が狂おしいししかも興奮し易いとするとあの第五十六連隊は興奮し易くない
事実7: あの注入前は生々しい

仮説: あの注入前は生々しい
1. 事実7から、仮説が導かれる

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