「進み易いということは「みえみにLv.83事件は起きない」ということをもたらす」ということは事実であるということはない
fact1: 多しということが起こるし加えて生き難いということが生じる fact2: 「会話らしいということが生じる」ということは真実である fact3: もし仮に会話らしいということと進み易いということ両方ともが生じるとしたらみえみにLv.83事件は生じない fact4: 受け入れられ易いということが起こるということは「ぽゆぽちゃLv.5事件とパスすること両方ともが起きる」ということに防がれる fact5: 「ぽにぽのLv.94事件が起きる」ということは真実だ fact6: まにゅまやLv.23事件はもにもやLv.91事件を回避する fact7: 「成功し易いということおよび出入りし易いということどちらもが起こる」ということは「ぴにょぴゆLv.76事件は発生しない」ということを回避する
void -> assump1: 以下のように仮定する。進み易いということが起きる; fact2 & assump1 -> int1: 会話らしいということと進み易いということ両方が発生する; int1 & fact3 -> int2: 「みえみにLv.83事件は発生しない」ということは事実である; [assump1] & int2 -> hypothesis;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 多しということが起こるし加えて生き難いということが生じる fact2: 「会話らしいということが生じる」ということは真実である fact3: もし仮に会話らしいということと進み易いということ両方ともが生じるとしたらみえみにLv.83事件は生じない fact4: 受け入れられ易いということが起こるということは「ぽゆぽちゃLv.5事件とパスすること両方ともが起きる」ということに防がれる fact5: 「ぽにぽのLv.94事件が起きる」ということは真実だ fact6: まにゅまやLv.23事件はもにもやLv.91事件を回避する fact7: 「成功し易いということおよび出入りし易いということどちらもが起こる」ということは「ぴにょぴゆLv.76事件は発生しない」ということを回避する ; $hypothesis$ = 「進み易いということは「みえみにLv.83事件は起きない」ということをもたらす」ということは事実であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。進み易いということが起きる; fact2 & assump1 -> int1: 会話らしいということと進み易いということ両方が発生する; int1 & fact3 -> int2: 「みえみにLv.83事件は発生しない」ということは事実である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; [assump1] & int2 -> hypothesis; __DISPROVED__