しんどいということが起こる
fact1: 塗りたくることは「ぴくぴえLv.18事件は起きない」ということを阻む fact2: 塗りたくることと狙われ易いということ両方が起きる fact3: 「懐こいということとぷちゅぷちょLv.19事件が起きる」ということは「しんどいということは発生しない」ということを誘発する fact4: ぷちゅぷちょLv.19事件が起きる fact5: 狙われ易いということは消化し易いということは発生しないということを阻止する fact6: 「消化し易いということが起きる」ということは懐こいということは生じないということを阻止する fact7: 塗りたくることが発生する
fact2 -> int1: 狙われ易いということが発生する; int1 & fact5 -> int2: 消化し易いということが発生する; int2 & fact6 -> int3: 懐こいということが生じる; int3 & fact4 -> int4: 懐こいということとぷちゅぷちょLv.19事件が起こる; int4 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact6 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact3 -> hypothesis;
ぴくぴえLv.18事件が起こる
$facts$ = fact1: 塗りたくることは「ぴくぴえLv.18事件は起きない」ということを阻む fact2: 塗りたくることと狙われ易いということ両方が起きる fact3: 「懐こいということとぷちゅぷちょLv.19事件が起きる」ということは「しんどいということは発生しない」ということを誘発する fact4: ぷちゅぷちょLv.19事件が起きる fact5: 狙われ易いということは消化し易いということは発生しないということを阻止する fact6: 「消化し易いということが起きる」ということは懐こいということは生じないということを阻止する fact7: 塗りたくることが発生する ; $hypothesis$ = しんどいということが起こる ; $proof$ = 
fact2 -> int1: 狙われ易いということが発生する; int1 & fact5 -> int2: 消化し易いということが発生する; int2 & fact6 -> int3: 懐こいということが生じる; int3 & fact4 -> int4: 懐こいということとぷちゅぷちょLv.19事件が起こる; int4 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact6 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact3 -> hypothesis; __DISPROVED__