「もにゅもなLv.79事件が起きる」ということは間違っていない
fact1: 「ぷにゃぷやLv.0事件は起こらないということは「救護することが生じるし流れることは起こらない」ということに起因する」ということは事実だ fact2: 走り易いということはぷにゃぷやLv.0事件にもたらされる fact3: もし「流れることが発生する」ということは真実なら「もにゅもなLv.79事件が起こる」ということは事実だ fact4: 流れることが起きるということは「走り易いということが発生する」ということに誘発される fact5: ぷにゃぷやLv.0事件が生じる fact6: 仮にぷにゃぷやLv.0事件が発生しないか走り易いということは生じないか両方であるならばもにゅもなLv.79事件は生じない
fact2 & fact5 -> int1: 走り易いということが発生する; int1 & fact4 -> int2: 流れることが起こる; int2 & fact3 -> hypothesis;
fact2 & fact5 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact3 -> hypothesis;
もにゅもなLv.79事件は生じない
$facts$ = fact1: 「ぷにゃぷやLv.0事件は起こらないということは「救護することが生じるし流れることは起こらない」ということに起因する」ということは事実だ fact2: 走り易いということはぷにゃぷやLv.0事件にもたらされる fact3: もし「流れることが発生する」ということは真実なら「もにゅもなLv.79事件が起こる」ということは事実だ fact4: 流れることが起きるということは「走り易いということが発生する」ということに誘発される fact5: ぷにゃぷやLv.0事件が生じる fact6: 仮にぷにゃぷやLv.0事件が発生しないか走り易いということは生じないか両方であるならばもにゅもなLv.79事件は生じない ; $hypothesis$ = 「もにゅもなLv.79事件が起きる」ということは間違っていない ; $proof$ = 
fact2 & fact5 -> int1: 走り易いということが発生する; int1 & fact4 -> int2: 流れることが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__