「みわみにゅLv.35事件が発生する」ということは真実だ
fact1: 「みちゅみにLv.3事件かあるいはみわみにゅLv.35事件かまたは両方ともが起こる」ということは引き出し易いということは起こらないということに引き起こされる fact2: 「引き出し易いということは発生しない一方でみちゅみにLv.3事件が発生する」ということはみわみにゅLv.35事件は生じないということを発生させる fact3: 「みわみにゅLv.35事件は起きない」ということはみちゅみにLv.3事件を阻止する fact4: 「引き出し易いということは発生しないしみちゅみにLv.3事件が生じる」ということは「ぴわぴえLv.59事件が発生する」ということに由来する
void -> assump1: 以下のように仮定する。みわみにゅLv.35事件は起こらない; fact3 & assump1 -> int1: みちゅみにLv.3事件は起きない;
void -> assump1: ¬{A}; fact3 & assump1 -> int1: ¬{B};
遣る瀬無いということが起きる
$facts$ = fact1: 「みちゅみにLv.3事件かあるいはみわみにゅLv.35事件かまたは両方ともが起こる」ということは引き出し易いということは起こらないということに引き起こされる fact2: 「引き出し易いということは発生しない一方でみちゅみにLv.3事件が発生する」ということはみわみにゅLv.35事件は生じないということを発生させる fact3: 「みわみにゅLv.35事件は起きない」ということはみちゅみにLv.3事件を阻止する fact4: 「引き出し易いということは発生しないしみちゅみにLv.3事件が生じる」ということは「ぴわぴえLv.59事件が発生する」ということに由来する ; $hypothesis$ = 「みわみにゅLv.35事件が発生する」ということは真実だ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__