「もよもにゅLv.42事件は厳いということに防がれる」ということは誤りだ
fact1: 被仰付ことが起きる fact2: みよみのLv.17事件と有りゃすることが起こるは「もちょもちゅLv.12事件は発生しない」ということを招く fact3: ぴにょぴゆLv.97事件が起こる
void -> assump1: 以下のように仮定する。厳いということが起こる; fact3 & assump1 -> int1: ぴにょぴゆLv.97事件と厳いということが起こる;
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B});
$facts$ = fact1: 被仰付ことが起きる fact2: みよみのLv.17事件と有りゃすることが起こるは「もちょもちゅLv.12事件は発生しない」ということを招く fact3: ぴにょぴゆLv.97事件が起こる ; $hypothesis$ = 「もよもにゅLv.42事件は厳いということに防がれる」ということは誤りだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__