もなもえLv.0事件が発生する
fact1: もちょもにょLv.9事件が発生する fact2: みくみにょLv.79事件およびぴえぴねLv.53事件が発生する fact3: ぴえぴねLv.53事件がもなもえLv.0事件は起きないということを阻止する
fact2 -> int1: ぴえぴねLv.53事件が起きる; int1 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> hypothesis;
$facts$ = fact1: もちょもにょLv.9事件が発生する fact2: みくみにょLv.79事件およびぴえぴねLv.53事件が発生する fact3: ぴえぴねLv.53事件がもなもえLv.0事件は起きないということを阻止する ; $hypothesis$ = もなもえLv.0事件が発生する ; $proof$ = 
fact2 -> int1: ぴえぴねLv.53事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__