まゆまやLv.38事件は起きない
fact1: もしもぷねぷにょLv.87事件が生じないとすれば来難いということが起きるしぴちょぴにLv.27事件は起こらない fact2: ぴやぴのLv.8事件が発生する fact3: 仕方無しということが起きる fact4: もしもぴちょぴにLv.27事件は起こらないとするとぷくぷなLv.38事件および掴み易いということどちらもが発生する fact5: 仮にみのみちゅLv.59事件ではなく仕方無しということが発生するなら加入することが起こる fact6: 掴み易いということが生じるしかつみのみちゅLv.59事件が起こる fact7: 「掴み易いということが生じるし加えて仕方無しということが生じる」ということは「まゆまやLv.38事件は起こらない」ということを誘発する fact8: もしも把握し易いということは生じないとしたらまゆまやLv.38事件ともわもにゃLv.94事件が生じる
fact6 -> int1: 「掴み易いということが生じる」ということは事実だ; int1 & fact3 -> int2: 掴み易いということが起こるしおまけに仕方無しということが発生する; int2 & fact7 -> hypothesis;
fact6 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis;
加入することおよびぷくぷなLv.38事件両方ともが起きる
$facts$ = fact1: もしもぷねぷにょLv.87事件が生じないとすれば来難いということが起きるしぴちょぴにLv.27事件は起こらない fact2: ぴやぴのLv.8事件が発生する fact3: 仕方無しということが起きる fact4: もしもぴちょぴにLv.27事件は起こらないとするとぷくぷなLv.38事件および掴み易いということどちらもが発生する fact5: 仮にみのみちゅLv.59事件ではなく仕方無しということが発生するなら加入することが起こる fact6: 掴み易いということが生じるしかつみのみちゅLv.59事件が起こる fact7: 「掴み易いということが生じるし加えて仕方無しということが生じる」ということは「まゆまやLv.38事件は起こらない」ということを誘発する fact8: もしも把握し易いということは生じないとしたらまゆまやLv.38事件ともわもにゃLv.94事件が生じる ; $hypothesis$ = まゆまやLv.38事件は起きない ; $proof$ = 
fact6 -> int1: 「掴み易いということが生じる」ということは事実だ; int1 & fact3 -> int2: 掴み易いということが起こるしおまけに仕方無しということが発生する; int2 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis; __PROVED__