わりないということは起きない
fact1: 「もよもやLv.51事件およびまちゃまくLv.29事件が発生する」ということは「ぽくぽよLv.64事件が生じる」ということを回避する fact2: もえもゆLv.56事件が起きる fact3: もよもやLv.51事件が生じる fact4: もし仮にもよもやLv.51事件は起きないならば「まちゃまくLv.29事件は起こらないけど締結すことが起きる」ということは確かでない fact5: 「もえもゆLv.56事件が生じるしぽくぽよLv.64事件は起こらない」ということはわりないということは起きないということを阻止する fact6: 締結すこととまちゃまくLv.29事件両方が発生する
fact6 -> int1: 「まちゃまくLv.29事件が起きる」ということは確かである; int1 & fact3 -> int2: もよもやLv.51事件が起きるしおまけにまちゃまくLv.29事件が生じる; int2 & fact1 -> int3: ぽくぽよLv.64事件は起きない; int3 & fact2 -> int4: もえもゆLv.56事件が起こるがぽくぽよLv.64事件は発生しない; int4 & fact5 -> hypothesis;
fact6 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact1 -> int3: ¬{D}; int3 & fact2 -> int4: ({E} & ¬{D}); int4 & fact5 -> hypothesis;
わりないということは起きない
$facts$ = fact1: 「もよもやLv.51事件およびまちゃまくLv.29事件が発生する」ということは「ぽくぽよLv.64事件が生じる」ということを回避する fact2: もえもゆLv.56事件が起きる fact3: もよもやLv.51事件が生じる fact4: もし仮にもよもやLv.51事件は起きないならば「まちゃまくLv.29事件は起こらないけど締結すことが起きる」ということは確かでない fact5: 「もえもゆLv.56事件が生じるしぽくぽよLv.64事件は起こらない」ということはわりないということは起きないということを阻止する fact6: 締結すこととまちゃまくLv.29事件両方が発生する ; $hypothesis$ = わりないということは起きない ; $proof$ = 
fact6 -> int1: 「まちゃまくLv.29事件が起きる」ということは確かである; int1 & fact3 -> int2: もよもやLv.51事件が起きるしおまけにまちゃまくLv.29事件が生じる; int2 & fact1 -> int3: ぽくぽよLv.64事件は起きない; int3 & fact2 -> int4: もえもゆLv.56事件が起こるがぽくぽよLv.64事件は発生しない; int4 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact1 -> int3: ¬{D}; int3 & fact2 -> int4: ({E} & ¬{D}); int4 & fact5 -> hypothesis; __DISPROVED__