みちょみやLv.15事件が生じないか高しということは発生するかあるいはどちらもだ
fact1: 仮に「みちょみやLv.15事件は起こらないか高しということが起きるかまたは両方ともだ」ということは成り立たないとすれば「ぽちゃぽにLv.86事件は発生しない」ということは本当である fact2: もちょもわLv.27事件は起きない fact3: もちょもわLv.27事件が起こらないということはぽちゃぽにLv.86事件は生じないということに防がれる
void -> assump1: 以下のように仮定する。「みちょみやLv.15事件は生じないかあるいは高しということが生じるかまたは両方ともだ」ということは間違っている; fact1 & assump1 -> int1: ぽちゃぽにLv.86事件は起きない; int1 & fact3 -> int2: 「もちょもわLv.27事件は起こらない」ということは事実と異なる; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA} v {AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: {A}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮に「みちょみやLv.15事件は起こらないか高しということが起きるかまたは両方ともだ」ということは成り立たないとすれば「ぽちゃぽにLv.86事件は発生しない」ということは本当である fact2: もちょもわLv.27事件は起きない fact3: もちょもわLv.27事件が起こらないということはぽちゃぽにLv.86事件は生じないということに防がれる ; $hypothesis$ = みちょみやLv.15事件が生じないか高しということは発生するかあるいはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「みちょみやLv.15事件は生じないかあるいは高しということが生じるかまたは両方ともだ」ということは間違っている; fact1 & assump1 -> int1: ぽちゃぽにLv.86事件は起きない; int1 & fact3 -> int2: 「もちょもわLv.27事件は起こらない」ということは事実と異なる; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA} v {AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: {A}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__