「上がり易いということかもしくは詠唱することが生じる」ということは間違いである
fact1: ものもちゃLv.29事件は起こらないということは取り辛いということが生じるということに防がれる fact2: まなまなLv.79事件が起きる fact3: ものもちゃLv.29事件は発生しない fact4: 抜け易いということが起きる fact5: 取り辛いということは起きないということは「上がり易いということが起きるかまたは詠唱することが発生するかもしくはどちらもである」ということに繋がる
void -> assump1: 以下のように仮定する。取り辛いということが起きる; fact1 & assump1 -> int1: ものもちゃLv.29事件が起こる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 取り辛いということは起きない; int3 & fact5 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact5 -> hypothesis;
「上がり易いということかもしくは詠唱することが生じる」ということは間違いである
 -> hypothesis;
$facts$ = fact1: ものもちゃLv.29事件は起こらないということは取り辛いということが生じるということに防がれる fact2: まなまなLv.79事件が起きる fact3: ものもちゃLv.29事件は発生しない fact4: 抜け易いということが起きる fact5: 取り辛いということは起きないということは「上がり易いということが起きるかまたは詠唱することが発生するかもしくはどちらもである」ということに繋がる ; $hypothesis$ = 「上がり易いということかもしくは詠唱することが生じる」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。取り辛いということが起きる; fact1 & assump1 -> int1: ものもちゃLv.29事件が起こる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 取り辛いということは起きない; int3 & fact5 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact5 -> hypothesis; __DISPROVED__