整備すことは起こらない
fact1: 「出現し易いということは「ぴえぴわLv.49事件は起きないがしかし整備すことが生じる」ということに阻まれる」ということは正しい fact2: もしもぴえぴわLv.49事件は生じないとすると「雪深いということは発生しない一方でもちゅもいLv.53事件が起きる」ということは成り立たない fact3: 「みちゅみくLv.79事件は起こらない」ということは「ぽにゅぽちょLv.85事件とまにゅまにゃLv.98事件両方ともが生じる」ということが契機である fact4: 雪深いということは起きないけどもちゅもいLv.53事件が発生する fact5: 判別し易いということは起こらないしかつ淀み無いということは起きない fact6: もしも判別し易いということは発生しないとしたらぽにゅぽちょLv.85事件が発生するしぴいぴやLv.75事件が生じる fact7: みちゅみくLv.79事件は生じないということは「ぴえぴわLv.49事件が起こるけど整備すことは生じない」ということをもたらす
void -> assump1: 以下のように仮定する。「ぴえぴわLv.49事件は生じない」ということは成り立つ; fact2 & assump1 -> int1: 「雪深いということではなくもちゅもいLv.53事件が生じる」ということは偽だ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぴえぴわLv.49事件が発生する」ということは成り立つ;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: {A};
出現し易いということは発生しない
$facts$ = fact1: 「出現し易いということは「ぴえぴわLv.49事件は起きないがしかし整備すことが生じる」ということに阻まれる」ということは正しい fact2: もしもぴえぴわLv.49事件は生じないとすると「雪深いということは発生しない一方でもちゅもいLv.53事件が起きる」ということは成り立たない fact3: 「みちゅみくLv.79事件は起こらない」ということは「ぽにゅぽちょLv.85事件とまにゅまにゃLv.98事件両方ともが生じる」ということが契機である fact4: 雪深いということは起きないけどもちゅもいLv.53事件が発生する fact5: 判別し易いということは起こらないしかつ淀み無いということは起きない fact6: もしも判別し易いということは発生しないとしたらぽにゅぽちょLv.85事件が発生するしぴいぴやLv.75事件が生じる fact7: みちゅみくLv.79事件は生じないということは「ぴえぴわLv.49事件が起こるけど整備すことは生じない」ということをもたらす ; $hypothesis$ = 整備すことは起こらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__