まにゅまえLv.34事件が起こる
fact1: もなもわLv.48事件は起こらない fact2: 「まのまやLv.12事件が発生するし更に着色することが起きる」ということはまにゅまえLv.34事件は起こらないということに帰結する fact3: 「もなもわLv.48事件は発生しない」ということは「まのまやLv.12事件および真っ白いということが発生する」ということの原因となる fact4: 「真っ白いということはもなもわLv.48事件は発生しないということにより生じる」ということは確かである fact5: 着色することが発生する
fact1 & fact3 -> int1: まのまやLv.12事件が生じるし真っ白いということが起きる; int1 -> int2: まのまやLv.12事件が発生する; int2 & fact5 -> int3: まのまやLv.12事件が起きるしそれに着色することが起こる; int3 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact5 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: もなもわLv.48事件は起こらない fact2: 「まのまやLv.12事件が発生するし更に着色することが起きる」ということはまにゅまえLv.34事件は起こらないということに帰結する fact3: 「もなもわLv.48事件は発生しない」ということは「まのまやLv.12事件および真っ白いということが発生する」ということの原因となる fact4: 「真っ白いということはもなもわLv.48事件は発生しないということにより生じる」ということは確かである fact5: 着色することが発生する ; $hypothesis$ = まにゅまえLv.34事件が起こる ; $proof$ = 
fact1 & fact3 -> int1: まのまやLv.12事件が生じるし真っ白いということが起きる; int1 -> int2: まのまやLv.12事件が発生する; int2 & fact5 -> int3: まのまやLv.12事件が起きるしそれに着色することが起こる; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact5 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__