「踏破することとまちゃまよLv.65事件両方ともが起こる」ということは偽だ
fact1: ぽなぽゆLv.97事件がぽなぽゆLv.76事件は原因だ fact2: まちゃまよLv.65事件が起きる fact3: みゆみやLv.46事件が起こるし免れ難いということが起こる fact4: 踏破することがぽなぽゆLv.97事件は発生するということに由来する fact5: 免れ難いということはぽなぽゆLv.76事件を引き起こす
fact3 -> int1: 免れ難いということが発生する; int1 & fact5 -> int2: ぽなぽゆLv.76事件が起きる; int2 & fact1 -> int3: ぽなぽゆLv.97事件が起こる; int3 & fact4 -> int4: 踏破することが発生する; int4 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact4 -> int4: {E}; int4 & fact2 -> hypothesis;
$facts$ = fact1: ぽなぽゆLv.97事件がぽなぽゆLv.76事件は原因だ fact2: まちゃまよLv.65事件が起きる fact3: みゆみやLv.46事件が起こるし免れ難いということが起こる fact4: 踏破することがぽなぽゆLv.97事件は発生するということに由来する fact5: 免れ難いということはぽなぽゆLv.76事件を引き起こす ; $hypothesis$ = 「踏破することとまちゃまよLv.65事件両方ともが起こる」ということは偽だ ; $proof$ = 
fact3 -> int1: 免れ難いということが発生する; int1 & fact5 -> int2: ぽなぽゆLv.76事件が起きる; int2 & fact1 -> int3: ぽなぽゆLv.97事件が起こる; int3 & fact4 -> int4: 踏破することが発生する; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact4 -> int4: {E}; int4 & fact2 -> hypothesis; __DISPROVED__