デジすことは起こらない
fact1: みのみいLv.48事件が発生しないということか常傭することは生じないということかあるいは両方ともはみのみくLv.49事件にもたらされる fact2: 常傭することは生じないということはデジすことをもたらす fact3: 「デジすことは起きない」ということはみのみいLv.48事件は生じないということに防がれる fact4: みえみやLv.34事件とみのみくLv.49事件両方が発生する fact5: みのみくLv.49事件は起きないなら「デジすことが起こるけれどみえみやLv.34事件は起きない」ということは成り立たない fact6: みえみやLv.34事件が起こる
fact4 -> int1: 「みのみくLv.49事件が起こる」ということは確かだ; int1 & fact1 -> int2: みのみいLv.48事件が起きないか常傭することは生じない; int2 & fact3 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact1 -> int2: (¬{D} v ¬{C}); int2 & fact3 & fact2 -> hypothesis;
デジすことは起こらない
$facts$ = fact1: みのみいLv.48事件が発生しないということか常傭することは生じないということかあるいは両方ともはみのみくLv.49事件にもたらされる fact2: 常傭することは生じないということはデジすことをもたらす fact3: 「デジすことは起きない」ということはみのみいLv.48事件は生じないということに防がれる fact4: みえみやLv.34事件とみのみくLv.49事件両方が発生する fact5: みのみくLv.49事件は起きないなら「デジすことが起こるけれどみえみやLv.34事件は起きない」ということは成り立たない fact6: みえみやLv.34事件が起こる ; $hypothesis$ = デジすことは起こらない ; $proof$ = 
fact4 -> int1: 「みのみくLv.49事件が起こる」ということは確かだ; int1 & fact1 -> int2: みのみいLv.48事件が起きないか常傭することは生じない; int2 & fact3 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact1 -> int2: (¬{D} v ¬{C}); int2 & fact3 & fact2 -> hypothesis; __DISPROVED__