余儀無いということは生じない
fact1: 看取することが起きる fact2: 看取することが発生するとしたらもねものLv.48事件が起きる fact3: ぴちゃぴのLv.39事件は生じない fact4: 余儀無いということは「久しいということおよびもねものLv.48事件が発生する」ということに防がれる fact5: 久しいということが発生する
fact2 & fact1 -> int1: もねものLv.48事件が発生する; int1 & fact5 -> int2: 久しいということが起こるしもねものLv.48事件が起きる; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 看取することが起きる fact2: 看取することが発生するとしたらもねものLv.48事件が起きる fact3: ぴちゃぴのLv.39事件は生じない fact4: 余儀無いということは「久しいということおよびもねものLv.48事件が発生する」ということに防がれる fact5: 久しいということが発生する ; $hypothesis$ = 余儀無いということは生じない ; $proof$ = 
fact2 & fact1 -> int1: もねものLv.48事件が発生する; int1 & fact5 -> int2: 久しいということが起こるしもねものLv.48事件が起きる; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __PROVED__