弱いということが起きる
fact1: もし「耐性化することおよび慈愛深いということどちらもが起きる」ということは事実でないとしたら慈愛深いということは起きない fact2: 耐性化することが起こる fact3: もいもくLv.5事件が起こる fact4: 圧排することが発生する fact5: 弱いということは圧排することと耐性化することが起きるに阻止される
fact4 & fact2 -> int1: 圧排することと耐性化することどちらもが起きる; int1 & fact5 -> hypothesis;
fact4 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> hypothesis;
慈愛深いということは生じない
$facts$ = fact1: もし「耐性化することおよび慈愛深いということどちらもが起きる」ということは事実でないとしたら慈愛深いということは起きない fact2: 耐性化することが起こる fact3: もいもくLv.5事件が起こる fact4: 圧排することが発生する fact5: 弱いということは圧排することと耐性化することが起きるに阻止される ; $hypothesis$ = 弱いということが起きる ; $proof$ = 
fact4 & fact2 -> int1: 圧排することと耐性化することどちらもが起きる; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> hypothesis; __DISPROVED__