「ぽくぽちゅLv.70事件は起きない」ということは確かである
fact1: 「みねみにLv.45事件が発生する」ということは確かである fact2: 「ぽくぽちゅLv.70事件は起こらない」ということは集め易いということおよびみねみにLv.45事件が生じるに誘発される fact3: 集め易いということとぽにゃぽちゅLv.74事件が生じる fact4: ぽにゃぽちゅLv.74事件が発生する
fact3 -> int1: 「集め易いということが起こる」ということは偽でない; int1 & fact1 -> int2: 集め易いということが生じるし更にみねみにLv.45事件が起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「みねみにLv.45事件が発生する」ということは確かである fact2: 「ぽくぽちゅLv.70事件は起こらない」ということは集め易いということおよびみねみにLv.45事件が生じるに誘発される fact3: 集め易いということとぽにゃぽちゅLv.74事件が生じる fact4: ぽにゃぽちゅLv.74事件が発生する ; $hypothesis$ = 「ぽくぽちゅLv.70事件は起きない」ということは確かである ; $proof$ = 
fact3 -> int1: 「集め易いということが起こる」ということは偽でない; int1 & fact1 -> int2: 集め易いということが生じるし更にみねみにLv.45事件が起こる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __PROVED__