発現し易いということは起こらない
fact1: 出し易いということが発生する fact2: みのみいLv.50事件が起きる fact3: みのみいLv.50事件は受け入れ易いということは起きないということを防ぐ fact4: 「発現し易いということは発生しない」ということは「出し易いということが生じるし加えて受け入れ易いということが生じる」ということに起因する
fact3 & fact2 -> int1: 受け入れ易いということが発生する; int1 & fact1 -> int2: 出し易いということが発生するし更に受け入れ易いということが生じる; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 出し易いということが発生する fact2: みのみいLv.50事件が起きる fact3: みのみいLv.50事件は受け入れ易いということは起きないということを防ぐ fact4: 「発現し易いということは発生しない」ということは「出し易いということが生じるし加えて受け入れ易いということが生じる」ということに起因する ; $hypothesis$ = 発現し易いということは起こらない ; $proof$ = 
fact3 & fact2 -> int1: 受け入れ易いということが発生する; int1 & fact1 -> int2: 出し易いということが発生するし更に受け入れ易いということが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __PROVED__