ぴちゅぴえLv.0事件は起こらなくてその上合わせ易いということは発生しない
fact1: 「ぴちゅぴえLv.0事件ではなく合わせ易いということが起きる」ということは誤りならば合わせ易いということは生じない fact2: 「みなみにLv.69事件は発生しない」ということは正しい fact3: 起き易いということはぴえぴえLv.56事件を招く fact4: 思い易いということは起こらないならば「「ぴちゅぴえLv.0事件は起きないがしかし合わせ易いということが生じる」ということは確かだ」ということは誤りだ fact5: 合わせ易いということは起こらない fact6: もし仮に寒しということは発生しないならぴちゅぴえLv.0事件は起こらないしその上合わせ易いということは発生しない fact7: 寒しということは発生しないということは合わせ易いということは起こらないということの原因となる fact8: みなみにLv.69事件は「寒しということが生じる」ということに由来する
void -> assump1: 以下のように仮定する。寒しということが起きる; fact8 & assump1 -> int1: みなみにLv.69事件が起きる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 寒しということは生じない; int3 & fact6 -> hypothesis;
void -> assump1: {A}; fact8 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact6 -> hypothesis;
「ぴちゅぴえLv.0事件は発生しなくてその上合わせ易いということは生じない」ということは成り立たない
 -> hypothesis;
$facts$ = fact1: 「ぴちゅぴえLv.0事件ではなく合わせ易いということが起きる」ということは誤りならば合わせ易いということは生じない fact2: 「みなみにLv.69事件は発生しない」ということは正しい fact3: 起き易いということはぴえぴえLv.56事件を招く fact4: 思い易いということは起こらないならば「「ぴちゅぴえLv.0事件は起きないがしかし合わせ易いということが生じる」ということは確かだ」ということは誤りだ fact5: 合わせ易いということは起こらない fact6: もし仮に寒しということは発生しないならぴちゅぴえLv.0事件は起こらないしその上合わせ易いということは発生しない fact7: 寒しということは発生しないということは合わせ易いということは起こらないということの原因となる fact8: みなみにLv.69事件は「寒しということが生じる」ということに由来する ; $hypothesis$ = ぴちゅぴえLv.0事件は起こらなくてその上合わせ易いということは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。寒しということが起きる; fact8 & assump1 -> int1: みなみにLv.69事件が起きる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 寒しということは生じない; int3 & fact6 -> hypothesis; __PROVED__
void -> assump1: {A}; fact8 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact6 -> hypothesis; __PROVED__