しゃあ無いということは生じない
fact1: 上がり易いということは起こらないとするとみちょみやLv.36事件ではなくてぽねぽのLv.6事件が生じる fact2: しゃあ無いということは「みちょみやLv.36事件は生じない」ということを阻む fact3: もし仮に「ぽねぽのLv.6事件が生じなくてその上みちょみやLv.36事件は発生しない」ということは間違っているとしたらしゃあ無いということが起きる fact4: ぽねぽのLv.6事件は起こらない fact5: 「みちょみやLv.36事件が生じる」ということはぽねぽのLv.6事件のきっかけとなる fact6: 「上がり易いということが起きる」ということは訝しいということは生じないということに阻まれる
void -> assump1: 以下のように仮定する。しゃあ無いということが生じる; fact2 & assump1 -> int1: 「みちょみやLv.36事件が起こる」ということは真実である; int1 & fact5 -> int2: ぽねぽのLv.6事件が起こる; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。しゃあ無いということが生じる
$facts$ = fact1: 上がり易いということは起こらないとするとみちょみやLv.36事件ではなくてぽねぽのLv.6事件が生じる fact2: しゃあ無いということは「みちょみやLv.36事件は生じない」ということを阻む fact3: もし仮に「ぽねぽのLv.6事件が生じなくてその上みちょみやLv.36事件は発生しない」ということは間違っているとしたらしゃあ無いということが起きる fact4: ぽねぽのLv.6事件は起こらない fact5: 「みちょみやLv.36事件が生じる」ということはぽねぽのLv.6事件のきっかけとなる fact6: 「上がり易いということが起きる」ということは訝しいということは生じないということに阻まれる ; $hypothesis$ = しゃあ無いということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。しゃあ無いということが生じる; fact2 & assump1 -> int1: 「みちょみやLv.36事件が起こる」ということは真実である; int1 & fact5 -> int2: ぽねぽのLv.6事件が起こる; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__