「剥離し難いということは起こらないけどぴねぴちゅLv.23事件が起きる」ということは成り立たない
fact1: ぽいぽのLv.86事件が起きる fact2: 「みねみちょLv.88事件は生じない」ということは「ぽいぽのLv.86事件が起こるが罹り易いということは発生しない」ということにもたらされる fact3: 「剥離し難いということは生じない」ということは罹り易いということとぽいぽのLv.86事件が生じるにより生じる fact4: 「ぽえぽちゃLv.55事件は起こらない」ということは「ぷくぷちゅLv.15事件は起こらない」ということかあるいは「ぽえぽちゃLv.55事件は生じない」ということに由来する fact5: ぽえぽちゃLv.55事件は起こらないということは「剥離し難いということおよびぴねぴちゅLv.23事件両方ともが起きる」ということに帰結する fact6: 罹り易いということが起こる fact7: ぴねぴちゅLv.23事件が発生する
fact6 & fact1 -> int1: 罹り易いということとぽいぽのLv.86事件どちらもが生じる; int1 & fact3 -> int2: 剥離し難いということは起こらない; int2 & fact7 -> hypothesis;
fact6 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact7 -> hypothesis;
みねみちょLv.88事件は起きない
$facts$ = fact1: ぽいぽのLv.86事件が起きる fact2: 「みねみちょLv.88事件は生じない」ということは「ぽいぽのLv.86事件が起こるが罹り易いということは発生しない」ということにもたらされる fact3: 「剥離し難いということは生じない」ということは罹り易いということとぽいぽのLv.86事件が生じるにより生じる fact4: 「ぽえぽちゃLv.55事件は起こらない」ということは「ぷくぷちゅLv.15事件は起こらない」ということかあるいは「ぽえぽちゃLv.55事件は生じない」ということに由来する fact5: ぽえぽちゃLv.55事件は起こらないということは「剥離し難いということおよびぴねぴちゅLv.23事件両方ともが起きる」ということに帰結する fact6: 罹り易いということが起こる fact7: ぴねぴちゅLv.23事件が発生する ; $hypothesis$ = 「剥離し難いということは起こらないけどぴねぴちゅLv.23事件が起きる」ということは成り立たない ; $proof$ = 
fact6 & fact1 -> int1: 罹り易いということとぽいぽのLv.86事件どちらもが生じる; int1 & fact3 -> int2: 剥離し難いということは起こらない; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact7 -> hypothesis; __DISPROVED__