もにゃもやLv.9事件は起こらない
fact1: もにゃもやLv.9事件はプロットすることおよび狭窄することが生じるに阻まれる fact2: もにもにゅLv.1事件が起きるしみのみちゅLv.8事件が発生する fact3: 「論じ合うことが発生する」ということは事実だ fact4: プロットすることおよび論じ合うこと両方ともが生じる fact5: 「プロットすることが生じるしさらにもにゃもやLv.9事件が起きる」ということは「論じ合うことは生じない」ということに引き起こされる fact6: 狭窄することが発生する
fact4 -> int1: プロットすることが起きる; int1 & fact6 -> int2: プロットすることと狭窄することが発生する; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
「もにゃもやLv.9事件が起こる」ということは真実だ
$facts$ = fact1: もにゃもやLv.9事件はプロットすることおよび狭窄することが生じるに阻まれる fact2: もにもにゅLv.1事件が起きるしみのみちゅLv.8事件が発生する fact3: 「論じ合うことが発生する」ということは事実だ fact4: プロットすることおよび論じ合うこと両方ともが生じる fact5: 「プロットすることが生じるしさらにもにゃもやLv.9事件が起きる」ということは「論じ合うことは生じない」ということに引き起こされる fact6: 狭窄することが発生する ; $hypothesis$ = もにゃもやLv.9事件は起こらない ; $proof$ = 
fact4 -> int1: プロットすることが起きる; int1 & fact6 -> int2: プロットすることと狭窄することが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __PROVED__