把握し難いということが起こる
fact1: 仮に抜け易いということは起こらなくて更迭することは生じないならば絶え難いということは発生しない fact2: 迷信深いということは生じないということはあざといということに阻まれる fact3: ぷちょぷわLv.56事件は生じないということは「抜け易いということは起きなくて更迭することは発生しない」ということをもたらす fact4: 迷信深いということは把握し難いということを招く fact5: あざといということが発生する fact6: 「判定することが起きるし把握し難いということは発生しない」ということは絶え難いということが契機だ fact7: もし仮にぷちょぷわLv.56事件は発生しないとしたら抜け易いということが生じるかもしくは更迭することが起こる
fact2 & fact5 -> int1: 迷信深いということが起きる; int1 & fact4 -> hypothesis;
fact2 & fact5 -> int1: {B}; int1 & fact4 -> hypothesis;
「もくもいLv.94事件が生じる」ということは事実だ
$facts$ = fact1: 仮に抜け易いということは起こらなくて更迭することは生じないならば絶え難いということは発生しない fact2: 迷信深いということは生じないということはあざといということに阻まれる fact3: ぷちょぷわLv.56事件は生じないということは「抜け易いということは起きなくて更迭することは発生しない」ということをもたらす fact4: 迷信深いということは把握し難いということを招く fact5: あざといということが発生する fact6: 「判定することが起きるし把握し難いということは発生しない」ということは絶え難いということが契機だ fact7: もし仮にぷちょぷわLv.56事件は発生しないとしたら抜け易いということが生じるかもしくは更迭することが起こる ; $hypothesis$ = 把握し難いということが起こる ; $proof$ = 
fact2 & fact5 -> int1: 迷信深いということが起きる; int1 & fact4 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}; int1 & fact4 -> hypothesis; __PROVED__