馴染み易いということは生じない
fact1: ぴちゅぴにゅLv.58事件が生じる fact2: 生活し易いということが生じる fact3: 「ぴちゅぴにゅLv.58事件ともにゅもにLv.54事件どちらもが起きる」ということは「馴染み易いということは生じない」ということをもたらす fact4: 「もにゅもにLv.54事件は起こらない」ということは生活し易いということに阻まれる
fact4 & fact2 -> int1: もにゅもにLv.54事件が起きる; int1 & fact1 -> int2: ぴちゅぴにゅLv.58事件およびもにゅもにLv.54事件両方ともが起きる; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
$facts$ = fact1: ぴちゅぴにゅLv.58事件が生じる fact2: 生活し易いということが生じる fact3: 「ぴちゅぴにゅLv.58事件ともにゅもにLv.54事件どちらもが起きる」ということは「馴染み易いということは生じない」ということをもたらす fact4: 「もにゅもにLv.54事件は起こらない」ということは生活し易いということに阻まれる ; $hypothesis$ = 馴染み易いということは生じない ; $proof$ = 
fact4 & fact2 -> int1: もにゅもにLv.54事件が起きる; int1 & fact1 -> int2: ぴちゅぴにゅLv.58事件およびもにゅもにLv.54事件両方ともが起きる; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __PROVED__