ぽゆぽにょLv.32事件が生じる
fact1: 仮にぴねぴなLv.35事件および呪わしいということが生じればぽゆぽにょLv.32事件は起きない fact2: 呪わしいということが起きる fact3: ぴねぴなLv.35事件が起きる
fact3 & fact2 -> int1: ぴねぴなLv.35事件と呪わしいということが起こる; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にぴねぴなLv.35事件および呪わしいということが生じればぽゆぽにょLv.32事件は起きない fact2: 呪わしいということが起きる fact3: ぴねぴなLv.35事件が起きる ; $hypothesis$ = ぽゆぽにょLv.32事件が生じる ; $proof$ = 
fact3 & fact2 -> int1: ぴねぴなLv.35事件と呪わしいということが起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis; __DISPROVED__