「抜擢することは起こらない」ということは正しい
fact1: もくもよLv.23事件が生じないかまたはまにゅまゆLv.37事件は起きないかもしくは両方ともである fact2: 「御高いということが起こる」ということは誤っていないならば「もくもよLv.23事件が生じないかまたはまにゅまゆLv.37事件は生じないかまたはどちらもである」ということは間違いだ fact3: 御高いということは起こらないということは「抜擢することは生じない」ということを発生させる
void -> assump1: 以下のように仮定する。御高いということが起こる; fact2 & assump1 -> int1: 「もくもよLv.23事件が生じないかもしくはまにゅまゆLv.37事件は生じないかもしくは両方である」ということは誤りだ; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「御高いということは発生しない」ということは正しい; int3 & fact3 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: ¬(¬{AA} v ¬{AB}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact3 -> hypothesis;
$facts$ = fact1: もくもよLv.23事件が生じないかまたはまにゅまゆLv.37事件は起きないかもしくは両方ともである fact2: 「御高いということが起こる」ということは誤っていないならば「もくもよLv.23事件が生じないかまたはまにゅまゆLv.37事件は生じないかまたはどちらもである」ということは間違いだ fact3: 御高いということは起こらないということは「抜擢することは生じない」ということを発生させる ; $hypothesis$ = 「抜擢することは起こらない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。御高いということが起こる; fact2 & assump1 -> int1: 「もくもよLv.23事件が生じないかもしくはまにゅまゆLv.37事件は生じないかもしくは両方である」ということは誤りだ; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「御高いということは発生しない」ということは正しい; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: ¬(¬{AA} v ¬{AB}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact3 -> hypothesis; __PROVED__