「もにもわLv.91事件が起こるしそれにもにゃもなLv.18事件が起きる」ということは誤りである
fact1: 小高いということは「酔い易いということが発生する」ということに引き起こされる fact2: もにゃもなLv.18事件が発生する fact3: もし近いということは発生しないならば「もにもわLv.91事件およびもにゃもなLv.18事件両方ともが起こる」ということは誤りである fact4: 近いということが起こるか酔い易いということが生じる fact5: 「もにもわLv.91事件は発生しない」ということは小高いということに阻まれる fact6: 近いということは「小高いということは発生しない」ということを回避する fact7: 賢しということが起こる
fact4 & fact6 & fact1 -> int1: 小高いということが発生する; int1 & fact5 -> int2: もにもわLv.91事件が起きる; int2 & fact2 -> hypothesis;
fact4 & fact6 & fact1 -> int1: {C}; int1 & fact5 -> int2: {D}; int2 & fact2 -> hypothesis;
「もにもわLv.91事件が起こるしそれにもにゃもなLv.18事件が起きる」ということは誤りである
$facts$ = fact1: 小高いということは「酔い易いということが発生する」ということに引き起こされる fact2: もにゃもなLv.18事件が発生する fact3: もし近いということは発生しないならば「もにもわLv.91事件およびもにゃもなLv.18事件両方ともが起こる」ということは誤りである fact4: 近いということが起こるか酔い易いということが生じる fact5: 「もにもわLv.91事件は発生しない」ということは小高いということに阻まれる fact6: 近いということは「小高いということは発生しない」ということを回避する fact7: 賢しということが起こる ; $hypothesis$ = 「もにもわLv.91事件が起こるしそれにもにゃもなLv.18事件が起きる」ということは誤りである ; $proof$ = 
fact4 & fact6 & fact1 -> int1: 小高いということが発生する; int1 & fact5 -> int2: もにもわLv.91事件が起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact6 & fact1 -> int1: {C}; int1 & fact5 -> int2: {D}; int2 & fact2 -> hypothesis; __DISPROVED__