御偉いということは起きない
fact1: 「みちょみちゅLv.76事件が起こらなくて加えてぴにゃぴえLv.2事件は発生しない」ということはぷにゃぷわLv.3事件は起こらないということを発生させる fact2: 御偉いということは発生しないということは「みちょみちゅLv.76事件が起こるし加えてぴにゃぴえLv.2事件が起こる」ということにもたらされる fact3: 仮に「ぴにゃぴえLv.2事件は生じない一方でみちょみちゅLv.76事件が起こる」ということは成り立たないとすればぷにゃぷわLv.3事件は起こらない fact4: ぴにゃぴえLv.2事件が上げ難いということは契機である fact5: 上げ難いということかぷにゃぷわLv.3事件が発生する fact6: もし仮にもくもえLv.92事件は起こらないとすれば「ぴにゃぴえLv.2事件は生じないけどみちょみちゅLv.76事件は発生する」ということは間違っている fact7: 読み易いということが起こる fact8: ぷにゃぷわLv.3事件が起きるということはぴにゃぴえLv.2事件を招く fact9: 「もくもえLv.92事件および御偉いということ両方が起きる」ということはしつっこいということは生じないということに由来する fact10: みちょみちゅLv.76事件が発生する
fact5 & fact4 & fact8 -> int1: ぴにゃぴえLv.2事件が発生する; int1 & fact10 -> int2: みちょみちゅLv.76事件およびぴにゃぴえLv.2事件どちらもが生じる; int2 & fact2 -> hypothesis;
fact5 & fact4 & fact8 -> int1: {C}; int1 & fact10 -> int2: ({D} & {C}); int2 & fact2 -> hypothesis;
ぷちゅぷちゅLv.63事件が起きる
$facts$ = fact1: 「みちょみちゅLv.76事件が起こらなくて加えてぴにゃぴえLv.2事件は発生しない」ということはぷにゃぷわLv.3事件は起こらないということを発生させる fact2: 御偉いということは発生しないということは「みちょみちゅLv.76事件が起こるし加えてぴにゃぴえLv.2事件が起こる」ということにもたらされる fact3: 仮に「ぴにゃぴえLv.2事件は生じない一方でみちょみちゅLv.76事件が起こる」ということは成り立たないとすればぷにゃぷわLv.3事件は起こらない fact4: ぴにゃぴえLv.2事件が上げ難いということは契機である fact5: 上げ難いということかぷにゃぷわLv.3事件が発生する fact6: もし仮にもくもえLv.92事件は起こらないとすれば「ぴにゃぴえLv.2事件は生じないけどみちょみちゅLv.76事件は発生する」ということは間違っている fact7: 読み易いということが起こる fact8: ぷにゃぷわLv.3事件が起きるということはぴにゃぴえLv.2事件を招く fact9: 「もくもえLv.92事件および御偉いということ両方が起きる」ということはしつっこいということは生じないということに由来する fact10: みちょみちゅLv.76事件が発生する ; $hypothesis$ = 御偉いということは起きない ; $proof$ = 
fact5 & fact4 & fact8 -> int1: ぴにゃぴえLv.2事件が発生する; int1 & fact10 -> int2: みちょみちゅLv.76事件およびぴにゃぴえLv.2事件どちらもが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact4 & fact8 -> int1: {C}; int1 & fact10 -> int2: ({D} & {C}); int2 & fact2 -> hypothesis; __PROVED__