凄いということが発生する
fact1: 苦しということが起こるということはぽよぽにょLv.94事件は起きないということを防ぐ fact2: 住み易いということが発生する fact3: ぷちゃぷわLv.0事件は「苦しということは起きない」ということを阻む fact4: もしぷちゃぷわLv.0事件が起こらないとすれば発覚することおよび住み易いということ両方は発生する fact5: もし仮にぷちゃぷわLv.0事件は発生しないなら住み易いということおよび凄いということが生じる fact6: 「眩いということが生じる」ということは事実である fact7: 住み易いということが発生するし加えてぷちゃぷわLv.0事件が生じる fact8: 「ぽよぽにょLv.94事件および眩いということが起こる」ということは凄いということは発生しないということを誘発する fact9: ぴくぴわLv.66事件ともえもにLv.32事件両方が起こる fact10: 見極め難いということが生じる
fact7 -> int1: ぷちゃぷわLv.0事件が生じる; int1 & fact3 -> int2: 苦しということが起こる; int2 & fact1 -> int3: ぽよぽにょLv.94事件が生じる; int3 & fact6 -> int4: ぽよぽにょLv.94事件および眩いということが起きる; int4 & fact8 -> hypothesis;
fact7 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact6 -> int4: ({D} & {E}); int4 & fact8 -> hypothesis;
発覚することが生じる
$facts$ = fact1: 苦しということが起こるということはぽよぽにょLv.94事件は起きないということを防ぐ fact2: 住み易いということが発生する fact3: ぷちゃぷわLv.0事件は「苦しということは起きない」ということを阻む fact4: もしぷちゃぷわLv.0事件が起こらないとすれば発覚することおよび住み易いということ両方は発生する fact5: もし仮にぷちゃぷわLv.0事件は発生しないなら住み易いということおよび凄いということが生じる fact6: 「眩いということが生じる」ということは事実である fact7: 住み易いということが発生するし加えてぷちゃぷわLv.0事件が生じる fact8: 「ぽよぽにょLv.94事件および眩いということが起こる」ということは凄いということは発生しないということを誘発する fact9: ぴくぴわLv.66事件ともえもにLv.32事件両方が起こる fact10: 見極め難いということが生じる ; $hypothesis$ = 凄いということが発生する ; $proof$ = 
fact7 -> int1: ぷちゃぷわLv.0事件が生じる; int1 & fact3 -> int2: 苦しということが起こる; int2 & fact1 -> int3: ぽよぽにょLv.94事件が生じる; int3 & fact6 -> int4: ぽよぽにょLv.94事件および眩いということが起きる; int4 & fact8 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact6 -> int4: ({D} & {E}); int4 & fact8 -> hypothesis; __DISPROVED__