ぷちょぷちゃLv.51事件が発生する
fact1: 容易いということが発生する fact2: ぷちょぷちゃLv.51事件は生じないということは「ぽいぽなLv.12事件および容易いということが起きる」ということにより生じる fact3: ぽいぽなLv.12事件が生じる
fact3 & fact1 -> int1: ぽいぽなLv.12事件が起こるしその上容易いということが発生する; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 容易いということが発生する fact2: ぷちょぷちゃLv.51事件は生じないということは「ぽいぽなLv.12事件および容易いということが起きる」ということにより生じる fact3: ぽいぽなLv.12事件が生じる ; $hypothesis$ = ぷちょぷちゃLv.51事件が発生する ; $proof$ = 
fact3 & fact1 -> int1: ぽいぽなLv.12事件が起こるしその上容易いということが発生する; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__