「この障害等級上は家出であるということはない」ということは成り立つ
fact1: なにがしかのものが即決するとしたら家出である fact2: この経済統合は即決する fact3: あの広葉は即決するし間違い易い fact4: もし仮にこの障害等級上は即決するし家出であるならそれは間違い易くない fact5: 仮に「なにかは分析するがしかし即決しない」ということは間違いならそれは即決する fact6: もしもとある物は分析するが間違い易くないとすれば「家出でない」ということは事実である fact7: もし仮にあの広葉が間違い易いとするとこの障害等級上は分析する一方で間違い易くない
fact3 -> int1: あの広葉は間違い易い; int1 & fact7 -> int2: 「この障害等級上は分析するがしかし間違い易くない」ということは成り立つ; fact6 -> int3: 仮にこの障害等級上は分析するけれど間違い易くないとすればそれは家出でない; int2 & int3 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{b} & ¬{B}{b}); fact6 -> int3: ({C}{b} & ¬{B}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
この障害等級上は家出である
fact8 -> int4: もしもこの障害等級上が即決するとすればそれは家出だ; fact9 -> int5: もし「この障害等級上は分析する一方で即決しない」ということは誤りであるとすると即決する;
$facts$ = fact1: なにがしかのものが即決するとしたら家出である fact2: この経済統合は即決する fact3: あの広葉は即決するし間違い易い fact4: もし仮にこの障害等級上は即決するし家出であるならそれは間違い易くない fact5: 仮に「なにかは分析するがしかし即決しない」ということは間違いならそれは即決する fact6: もしもとある物は分析するが間違い易くないとすれば「家出でない」ということは事実である fact7: もし仮にあの広葉が間違い易いとするとこの障害等級上は分析する一方で間違い易くない ; $hypothesis$ = 「この障害等級上は家出であるということはない」ということは成り立つ ; $proof$ = 
fact3 -> int1: あの広葉は間違い易い; int1 & fact7 -> int2: 「この障害等級上は分析するがしかし間違い易くない」ということは成り立つ; fact6 -> int3: 仮にこの障害等級上は分析するけれど間違い易くないとすればそれは家出でない; int2 & int3 -> hypothesis; __PROVED__
事実1: なにがしかのものが即決するとしたら家出である
事実2: この経済統合は即決する
事実3: あの広葉は即決するし間違い易い
事実4: もし仮にこの障害等級上は即決するし家出であるならそれは間違い易くない
事実5: 仮に「なにかは分析するがしかし即決しない」ということは間違いならそれは即決する
事実6: もしもとある物は分析するが間違い易くないとすれば「家出でない」ということは事実である
事実7: もし仮にあの広葉が間違い易いとするとこの障害等級上は分析する一方で間違い易くない

仮説: 「この障害等級上は家出であるということはない」ということは成り立つ
1. 事実3から、推論1: "あの広葉は間違い易い"が導かれる
2. 推論1と事実7から、推論2: "「この障害等級上は分析するがしかし間違い易くない」ということは成り立つ"が導かれる
3. 事実6から、推論3: "仮にこの障害等級上は分析するけれど間違い易くないとすればそれは家出でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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