まねまやLv.67事件が発生する
fact1: 根強いということと情け深いということが発生する fact2: もしも「情け深いということは発生しない」ということは確かであるとすれば「まねまやLv.67事件ではなく根強いということが発生する」ということは成り立つ fact3: もし情け深いということは生じないとすれば手強いということと根強いということどちらもが生じる fact4: ぽちょぽやLv.15事件が発生するなら情け深いということは発生しなくて来辛いということは発生しない fact5: 「まねまやLv.67事件が起こる」ということは「根強いということが生じる」ということが契機だ fact6: 情け深いということが起きる
fact1 -> int1: 根強いということが起きる; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> hypothesis;
手強いということが起こる
$facts$ = fact1: 根強いということと情け深いということが発生する fact2: もしも「情け深いということは発生しない」ということは確かであるとすれば「まねまやLv.67事件ではなく根強いということが発生する」ということは成り立つ fact3: もし情け深いということは生じないとすれば手強いということと根強いということどちらもが生じる fact4: ぽちょぽやLv.15事件が発生するなら情け深いということは発生しなくて来辛いということは発生しない fact5: 「まねまやLv.67事件が起こる」ということは「根強いということが生じる」ということが契機だ fact6: 情け深いということが起きる ; $hypothesis$ = まねまやLv.67事件が発生する ; $proof$ = 
fact1 -> int1: 根強いということが起きる; int1 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact5 -> hypothesis; __PROVED__