ぷねぷえLv.44事件は起こらない
fact1: 仮にぽわぽなLv.56事件が発生するなら「示現することが発生しないけどぷねぷえLv.44事件は発生する」ということは本当だということはない fact2: ぷねぷえLv.44事件は示現することにより発生する fact3: ぽわぽなLv.56事件および示現すること両方ともが発生する
fact3 -> int1: 示現することが起こる; int1 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact2 -> hypothesis;
ぷねぷえLv.44事件は起こらない
$facts$ = fact1: 仮にぽわぽなLv.56事件が発生するなら「示現することが発生しないけどぷねぷえLv.44事件は発生する」ということは本当だということはない fact2: ぷねぷえLv.44事件は示現することにより発生する fact3: ぽわぽなLv.56事件および示現すること両方ともが発生する ; $hypothesis$ = ぷねぷえLv.44事件は起こらない ; $proof$ = 
fact3 -> int1: 示現することが起こる; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact2 -> hypothesis; __DISPROVED__