「もいもにLv.99事件が起こる」ということは誤っている
fact1: ぽのぽにLv.59事件が発生する fact2: もし仮に話し辛いということが起きるならまにまやLv.31事件が起こる fact3: 話し辛いということが発生する fact4: もいもにLv.99事件は発生しないということは「まにまやLv.31事件および観光すること両方ともが生じる」ということにより生じる fact5: 観光することが起こる
fact2 & fact3 -> int1: 「まにまやLv.31事件が起きる」ということは真実だ; int1 & fact5 -> int2: まにまやLv.31事件が発生するしその上観光することが起こる; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
$facts$ = fact1: ぽのぽにLv.59事件が発生する fact2: もし仮に話し辛いということが起きるならまにまやLv.31事件が起こる fact3: 話し辛いということが発生する fact4: もいもにLv.99事件は発生しないということは「まにまやLv.31事件および観光すること両方ともが生じる」ということにより生じる fact5: 観光することが起こる ; $hypothesis$ = 「もいもにLv.99事件が起こる」ということは誤っている ; $proof$ = 
fact2 & fact3 -> int1: 「まにまやLv.31事件が起きる」ということは真実だ; int1 & fact5 -> int2: まにまやLv.31事件が発生するしその上観光することが起こる; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __PROVED__