まいまゆLv.87事件が起こるしおまけにものもねLv.2事件が起こる
fact1: もし仮にぽくぽちょLv.79事件は発生しないなら「まいまゆLv.87事件が起こるし加えてものもねLv.2事件が生じる」ということは間違いである fact2: ものもねLv.2事件が発生する fact3: ぽくぽちょLv.79事件が発生する fact4: 遅過ぎることとぴやぴにょLv.48事件両方ともが発生する fact5: ぽくぽちょLv.79事件はまいまゆLv.87事件の原因となる
fact5 & fact3 -> int1: まいまゆLv.87事件が生じる; int1 & fact2 -> hypothesis;
fact5 & fact3 -> int1: {B}; int1 & fact2 -> hypothesis;
「まいまゆLv.87事件が発生するしものもねLv.2事件が起こる」ということは成り立たない
$facts$ = fact1: もし仮にぽくぽちょLv.79事件は発生しないなら「まいまゆLv.87事件が起こるし加えてものもねLv.2事件が生じる」ということは間違いである fact2: ものもねLv.2事件が発生する fact3: ぽくぽちょLv.79事件が発生する fact4: 遅過ぎることとぴやぴにょLv.48事件両方ともが発生する fact5: ぽくぽちょLv.79事件はまいまゆLv.87事件の原因となる ; $hypothesis$ = まいまゆLv.87事件が起こるしおまけにものもねLv.2事件が起こる ; $proof$ = 
fact5 & fact3 -> int1: まいまゆLv.87事件が生じる; int1 & fact2 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__