もよもなLv.97事件は起こらない
fact1: ぷなぷにLv.31事件が起きる fact2: 関することが起きる fact3: 関することおよびぷなぷにLv.31事件が起こるはもよもなLv.97事件は生じないということを発生させる
fact2 & fact1 -> int1: 関することとぷなぷにLv.31事件が生じる; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis;
$facts$ = fact1: ぷなぷにLv.31事件が起きる fact2: 関することが起きる fact3: 関することおよびぷなぷにLv.31事件が起こるはもよもなLv.97事件は生じないということを発生させる ; $hypothesis$ = もよもなLv.97事件は起こらない ; $proof$ = 
fact2 & fact1 -> int1: 関することとぷなぷにLv.31事件が生じる; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis; __PROVED__