「逃れ難いということが起きる」ということは成り立つ
fact1: 茶色っぽいということが発生する fact2: 「逃れ難いということは生じない」ということは「茶色っぽいということは生じなくて青いということが生じる」ということをもたらす fact3: 青いということは逃れ難いということは起こらないということに起因する fact4: もにゅもにLv.52事件が起こる fact5: 青いということが起こる fact6: みちょみいLv.79事件は起こらないけれどぽねぽいLv.83事件が起こる
void -> assump1: 以下のように仮定する。逃れ難いということは起こらない; fact2 & assump1 -> int1: 茶色っぽいということは生じないけれど青いということが発生する; int1 -> int2: 茶色っぽいということは生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: (¬{AA} & {AB}); int1 -> int2: ¬{AA}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 茶色っぽいということが発生する fact2: 「逃れ難いということは生じない」ということは「茶色っぽいということは生じなくて青いということが生じる」ということをもたらす fact3: 青いということは逃れ難いということは起こらないということに起因する fact4: もにゅもにLv.52事件が起こる fact5: 青いということが起こる fact6: みちょみいLv.79事件は起こらないけれどぽねぽいLv.83事件が起こる ; $hypothesis$ = 「逃れ難いということが起きる」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。逃れ難いということは起こらない; fact2 & assump1 -> int1: 茶色っぽいということは生じないけれど青いということが発生する; int1 -> int2: 茶色っぽいということは生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact2 & assump1 -> int1: (¬{AA} & {AB}); int1 -> int2: ¬{AA}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__