良しということは生じない
fact1: 「利用され易いということは起きない」ということは確かである fact2: まよまにょLv.30事件は起こらない fact3: 「ぽなぽにゃLv.19事件は生じない」ということは成り立つ fact4: もにゅもにLv.62事件は発生しないということは「良しということと利用され易いということ両方が起きる」ということのきっかけとなる fact5: 「通り易いということは起こらない」ということはもにゅもにLv.62事件かあるいは利用され易いということかあるいは両方のきっかけとなる fact6: 利用され易いということは良しということに誘発される
void -> assump1: 以下のように仮定する。良しということが起こる; fact6 & assump1 -> int1: 利用され易いということが起きる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。良しということが起こる
$facts$ = fact1: 「利用され易いということは起きない」ということは確かである fact2: まよまにょLv.30事件は起こらない fact3: 「ぽなぽにゃLv.19事件は生じない」ということは成り立つ fact4: もにゅもにLv.62事件は発生しないということは「良しということと利用され易いということ両方が起きる」ということのきっかけとなる fact5: 「通り易いということは起こらない」ということはもにゅもにLv.62事件かあるいは利用され易いということかあるいは両方のきっかけとなる fact6: 利用され易いということは良しということに誘発される ; $hypothesis$ = 良しということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。良しということが起こる; fact6 & assump1 -> int1: 利用され易いということが起きる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__