「みちゃみえLv.53事件が生じる」ということは確かだ
fact1: みのみにゃLv.81事件が生じる fact2: 仮に危ないということは生じないし一致団結することが発生しないとしたらみちゃみえLv.53事件は起こらない fact3: 仮に赤黒いということが生じるとしたら騒々しいということが起きる fact4: もしも騒々しいということは生じないとするとみちゃみえLv.53事件は生じないけど危ないということが生じる fact5: 一致団結することが生じる fact6: もし一致団結することが起きるならみちゃみえLv.53事件が発生する fact7: 「か弱いということと騒々しいということが起こる」ということは成り立たないとすれば騒々しいということは発生しない
fact5 -> int1: 一致団結することが生じる; int1 & fact6 -> hypothesis;
fact5 -> int1: {A}; int1 & fact6 -> hypothesis;
打ち滅ぼすことが起こる
$facts$ = fact1: みのみにゃLv.81事件が生じる fact2: 仮に危ないということは生じないし一致団結することが発生しないとしたらみちゃみえLv.53事件は起こらない fact3: 仮に赤黒いということが生じるとしたら騒々しいということが起きる fact4: もしも騒々しいということは生じないとするとみちゃみえLv.53事件は生じないけど危ないということが生じる fact5: 一致団結することが生じる fact6: もし一致団結することが起きるならみちゃみえLv.53事件が発生する fact7: 「か弱いということと騒々しいということが起こる」ということは成り立たないとすれば騒々しいということは発生しない ; $hypothesis$ = 「みちゃみえLv.53事件が生じる」ということは確かだ ; $proof$ = 
fact5 -> int1: 一致団結することが生じる; int1 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact6 -> hypothesis; __PROVED__