「ぽちょぽやLv.53事件は生じない」ということは真実である
fact1: 気忙しいということはおどろおどろしいということは発生しないということを回避する fact2: ぴやぴのLv.91事件は生じないということは「気忙しいということは起こらないけどおどろおどろしいということが生じる」ということを発生させる fact3: 仮に「おどろおどろしいということが起きるしぴやぴのLv.91事件が起きる」ということは確かならぽちょぽやLv.53事件は生じない fact4: もにもいLv.88事件か気忙しいということかまたは両方が発生する fact5: 「借り易いということは起きない」ということは「もゆもやLv.70事件と御偉いということが起きる」ということがきっかけである fact6: ぴえぴなLv.55事件は起きない fact7: もにもいLv.88事件はおどろおどろしいということは生じないということを防ぐ
fact4 & fact7 & fact1 -> int1: おどろおどろしいということが起きる;
fact4 & fact7 & fact1 -> int1: {C};
ぽちょぽやLv.53事件が起きる
$facts$ = fact1: 気忙しいということはおどろおどろしいということは発生しないということを回避する fact2: ぴやぴのLv.91事件は生じないということは「気忙しいということは起こらないけどおどろおどろしいということが生じる」ということを発生させる fact3: 仮に「おどろおどろしいということが起きるしぴやぴのLv.91事件が起きる」ということは確かならぽちょぽやLv.53事件は生じない fact4: もにもいLv.88事件か気忙しいということかまたは両方が発生する fact5: 「借り易いということは起きない」ということは「もゆもやLv.70事件と御偉いということが起きる」ということがきっかけである fact6: ぴえぴなLv.55事件は起きない fact7: もにもいLv.88事件はおどろおどろしいということは生じないということを防ぐ ; $hypothesis$ = 「ぽちょぽやLv.53事件は生じない」ということは真実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__