成し難いということは発生しない
fact1: まねまいLv.39事件が起こる fact2: 成し難いということが起きるということは「まねまいLv.39事件が生じるしかつ虐殺することが発生する」ということに防がれる fact3: 虐殺することが生じる
fact1 & fact3 -> int1: まねまいLv.39事件が起きるしおまけに虐殺することが起きる; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
$facts$ = fact1: まねまいLv.39事件が起こる fact2: 成し難いということが起きるということは「まねまいLv.39事件が生じるしかつ虐殺することが発生する」ということに防がれる fact3: 虐殺することが生じる ; $hypothesis$ = 成し難いということは発生しない ; $proof$ = 
fact1 & fact3 -> int1: まねまいLv.39事件が起きるしおまけに虐殺することが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __PROVED__