もにょもよLv.12事件が起きる
fact1: ぽやぽにょLv.87事件はもにょもよLv.12事件に繋がる fact2: 「ぴわぴねLv.29事件が起きるし建議することが生じる」ということは成り立たないならもにょもよLv.12事件は発生しない fact3: 見据えることは発生しないということは「ぽやぽにょLv.87事件が起こらなくて加えてもゆもよLv.74事件は起こらない」ということを生じさせる fact4: ぽやぽにょLv.87事件は建議することにもたらされる fact5: 建議することは発生するしさらにぴわぴねLv.29事件は発生する fact6: もいもいLv.27事件が発生する
fact5 -> int1: 「建議することが生じる」ということは成り立つ; int1 & fact4 -> int2: ぽやぽにょLv.87事件が発生する; int2 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis;
もにょもよLv.12事件は起こらない
$facts$ = fact1: ぽやぽにょLv.87事件はもにょもよLv.12事件に繋がる fact2: 「ぴわぴねLv.29事件が起きるし建議することが生じる」ということは成り立たないならもにょもよLv.12事件は発生しない fact3: 見据えることは発生しないということは「ぽやぽにょLv.87事件が起こらなくて加えてもゆもよLv.74事件は起こらない」ということを生じさせる fact4: ぽやぽにょLv.87事件は建議することにもたらされる fact5: 建議することは発生するしさらにぴわぴねLv.29事件は発生する fact6: もいもいLv.27事件が発生する ; $hypothesis$ = もにょもよLv.12事件が起きる ; $proof$ = 
fact5 -> int1: 「建議することが生じる」ということは成り立つ; int1 & fact4 -> int2: ぽやぽにょLv.87事件が発生する; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__