「あの述部は隷属する」ということは誤りだ
fact1: もしもこの財務上が承服出来るかあるいは薩摩芋なら「手堅くない」ということは成り立つ fact2: もし仮にあの述部が染み込み易いとすると隷属しない fact3: あの述部は貶む fact4: もしあの述部が等しかもしくはそれは指導活動であるかまたはどちらもならそれは染み込み易くない fact5: 仮になにがしかの物は得難しなら「貶むしそれに隷属するということはない」ということは間違いである fact6: もし仮にこのＬ字型が隷属するかもしくはそれは結婚年齢であるとすれば法人用でない fact7: あの述部が貶むかまたはそれが染み込み易いなら隷属しない
fact3 -> int1: あの述部は貶むか染み込み易い; int1 & fact7 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> hypothesis;
あの科学的研究は染み込み易い
fact8 -> int2: 「あの述部は得難し」ということは本当だとすると「それは貶む一方で隷属しない」ということは間違いである;
$facts$ = fact1: もしもこの財務上が承服出来るかあるいは薩摩芋なら「手堅くない」ということは成り立つ fact2: もし仮にあの述部が染み込み易いとすると隷属しない fact3: あの述部は貶む fact4: もしあの述部が等しかもしくはそれは指導活動であるかまたはどちらもならそれは染み込み易くない fact5: 仮になにがしかの物は得難しなら「貶むしそれに隷属するということはない」ということは間違いである fact6: もし仮にこのＬ字型が隷属するかもしくはそれは結婚年齢であるとすれば法人用でない fact7: あの述部が貶むかまたはそれが染み込み易いなら隷属しない ; $hypothesis$ = 「あの述部は隷属する」ということは誤りだ ; $proof$ = 
fact3 -> int1: あの述部は貶むか染み込み易い; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしもこの財務上が承服出来るかあるいは薩摩芋なら「手堅くない」ということは成り立つ
事実2: もし仮にあの述部が染み込み易いとすると隷属しない
事実3: あの述部は貶む
事実4: もしあの述部が等しかもしくはそれは指導活動であるかまたはどちらもならそれは染み込み易くない
事実5: 仮になにがしかの物は得難しなら「貶むしそれに隷属するということはない」ということは間違いである
事実6: もし仮にこのＬ字型が隷属するかもしくはそれは結婚年齢であるとすれば法人用でない
事実7: あの述部が貶むかまたはそれが染み込み易いなら隷属しない

仮説: 「あの述部は隷属する」ということは誤りだ
1. 事実3から、推論1: "あの述部は貶むか染み込み易い"が導かれる
2. 推論1と事実7から、仮説が導かれる

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