もえもよLv.65事件は起きない
fact1: 生じ易いということではなく上げ為さることが起こる fact2: 抜かすことが発生する fact3: 頼り無いということは起こらないということはみいみゆLv.57事件に阻まれる fact4: 「春らしいということかまたは根強いということかどちらもが発生する」ということは生じ易いということは起こらないということに起因する fact5: 堪え忍ぶこととまえまちゅLv.22事件が発生する fact6: 「頼り無いということおよび抜かすことが起こる」ということは「もえもよLv.65事件は起こらない」ということの原因となる fact7: もし「まえまちゅLv.22事件は生じない」ということは確かだとするともえもよLv.65事件が起こるし堪え忍ぶことが起こる fact8: みいみゆLv.57事件は堪え忍ぶことが起きるということにもたらされる fact9: まえまちゅLv.22事件が発生する
fact5 -> int1: 堪え忍ぶことが起こる; int1 & fact8 -> int2: 「みいみゆLv.57事件が起こる」ということは成り立つ; int2 & fact3 -> int3: 頼り無いということが生じる; int3 & fact2 -> int4: 頼り無いということと抜かすことが起こる; int4 & fact6 -> hypothesis;
fact5 -> int1: {A}; int1 & fact8 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact2 -> int4: ({D} & {E}); int4 & fact6 -> hypothesis;
もえもよLv.65事件が起こる
fact10 -> int5: 生じ易いということは起きない; fact11 & int5 -> int6: 春らしいということが生じるか根強いということが起こるかもしくはどちらもだ;
$facts$ = fact1: 生じ易いということではなく上げ為さることが起こる fact2: 抜かすことが発生する fact3: 頼り無いということは起こらないということはみいみゆLv.57事件に阻まれる fact4: 「春らしいということかまたは根強いということかどちらもが発生する」ということは生じ易いということは起こらないということに起因する fact5: 堪え忍ぶこととまえまちゅLv.22事件が発生する fact6: 「頼り無いということおよび抜かすことが起こる」ということは「もえもよLv.65事件は起こらない」ということの原因となる fact7: もし「まえまちゅLv.22事件は生じない」ということは確かだとするともえもよLv.65事件が起こるし堪え忍ぶことが起こる fact8: みいみゆLv.57事件は堪え忍ぶことが起きるということにもたらされる fact9: まえまちゅLv.22事件が発生する ; $hypothesis$ = もえもよLv.65事件は起きない ; $proof$ = 
fact5 -> int1: 堪え忍ぶことが起こる; int1 & fact8 -> int2: 「みいみゆLv.57事件が起こる」ということは成り立つ; int2 & fact3 -> int3: 頼り無いということが生じる; int3 & fact2 -> int4: 頼り無いということと抜かすことが起こる; int4 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact8 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact2 -> int4: ({D} & {E}); int4 & fact6 -> hypothesis; __PROVED__