溜め込み易いということは生じない
fact1: まえまくLv.87事件は御宜しいということは発生しないということを阻止する fact2: もし仮に御宜しいということが発生するとしたら「差し出がましいということが生じる一方で入会することは起きない」ということは成り立たない fact3: ぴくぴにゅLv.58事件が生じる fact4: 入会することが起こる fact5: もゆものLv.25事件は発生するし更にぴくぴにゅLv.58事件は発生する fact6: 「もゆものLv.25事件は起こらない」ということは「図々しいということとぷよぷよLv.99事件が起きる」ということをもたらす fact7: ぴくぴにゅLv.58事件は起こらないということは「溜め込み易いということが起きるしもゆものLv.25事件が発生する」ということをもたらす fact8: 「溜め込み易いということは生じない」ということは「もゆものLv.25事件および入会することが起きる」ということにより発生する
fact5 -> int1: 「もゆものLv.25事件が発生する」ということは真実だ; int1 & fact4 -> int2: もゆものLv.25事件が生じるし加えて入会することが起きる; int2 & fact8 -> hypothesis;
fact5 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact8 -> hypothesis;
図々しいということが起きるし更にぷよぷよLv.99事件が起こる
$facts$ = fact1: まえまくLv.87事件は御宜しいということは発生しないということを阻止する fact2: もし仮に御宜しいということが発生するとしたら「差し出がましいということが生じる一方で入会することは起きない」ということは成り立たない fact3: ぴくぴにゅLv.58事件が生じる fact4: 入会することが起こる fact5: もゆものLv.25事件は発生するし更にぴくぴにゅLv.58事件は発生する fact6: 「もゆものLv.25事件は起こらない」ということは「図々しいということとぷよぷよLv.99事件が起きる」ということをもたらす fact7: ぴくぴにゅLv.58事件は起こらないということは「溜め込み易いということが起きるしもゆものLv.25事件が発生する」ということをもたらす fact8: 「溜め込み易いということは生じない」ということは「もゆものLv.25事件および入会することが起きる」ということにより発生する ; $hypothesis$ = 溜め込み易いということは生じない ; $proof$ = 
fact5 -> int1: 「もゆものLv.25事件が発生する」ということは真実だ; int1 & fact4 -> int2: もゆものLv.25事件が生じるし加えて入会することが起きる; int2 & fact8 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact4 -> int2: ({A} & {C}); int2 & fact8 -> hypothesis; __PROVED__