馴染み難いということは発生しない
fact1: ぽにょぽにゅLv.95事件が起こる fact2: ぴにょぴちゃLv.13事件が起きる fact3: 馴染み難いということは「ぽにょぽにゅLv.95事件が生じるしぴちょぴのLv.37事件が発生する」ということに阻まれる fact4: 「もえもくLv.76事件が起きるし程無いということが起きる」ということはぴねぴなLv.22事件を阻止する fact5: ぴにょぴちゃLv.13事件とぴちょぴのLv.37事件が発生する fact6: 「馴染み難いということおよびぴにょぴちゃLv.13事件両方ともが発生する」ということは「ぴちょぴのLv.37事件は起こらない」ということにより発生する
fact5 -> int1: ぴちょぴのLv.37事件が生じる; int1 & fact1 -> int2: ぽにょぽにゅLv.95事件が生じるしおまけにぴちょぴのLv.37事件が起きる; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
馴染み難いということが生じる
$facts$ = fact1: ぽにょぽにゅLv.95事件が起こる fact2: ぴにょぴちゃLv.13事件が起きる fact3: 馴染み難いということは「ぽにょぽにゅLv.95事件が生じるしぴちょぴのLv.37事件が発生する」ということに阻まれる fact4: 「もえもくLv.76事件が起きるし程無いということが起きる」ということはぴねぴなLv.22事件を阻止する fact5: ぴにょぴちゃLv.13事件とぴちょぴのLv.37事件が発生する fact6: 「馴染み難いということおよびぴにょぴちゃLv.13事件両方ともが発生する」ということは「ぴちょぴのLv.37事件は起こらない」ということにより発生する ; $hypothesis$ = 馴染み難いということは発生しない ; $proof$ = 
fact5 -> int1: ぴちょぴのLv.37事件が生じる; int1 & fact1 -> int2: ぽにょぽにゅLv.95事件が生じるしおまけにぴちょぴのLv.37事件が起きる; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __PROVED__