広しということが発生するかあるいは弱しということが生じるかもしくは両方だ
fact1: 広しということは生じないということはぴえぴにゃLv.26事件を阻む fact2: もにゅもやLv.48事件が起きるしぴにゃぴえLv.79事件は生じないとしたら弱しということは生じない fact3: ぴえぴにゃLv.26事件が起きる
void -> assump1: 以下のように仮定する。広しということは発生しない; fact1 & assump1 -> int1: ぴえぴにゃLv.26事件は発生しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 広しということが起きる; int3 -> hypothesis;
void -> assump1: ¬{A}; fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 -> hypothesis;
ぴちゃぴいLv.93事件は発生しない
$facts$ = fact1: 広しということは生じないということはぴえぴにゃLv.26事件を阻む fact2: もにゅもやLv.48事件が起きるしぴにゃぴえLv.79事件は生じないとしたら弱しということは生じない fact3: ぴえぴにゃLv.26事件が起きる ; $hypothesis$ = 広しということが発生するかあるいは弱しということが生じるかもしくは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。広しということは発生しない; fact1 & assump1 -> int1: ぴえぴにゃLv.26事件は発生しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 広しということが起きる; int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 -> hypothesis; __PROVED__