ぽなぽえLv.53事件が起こるしみよみゆLv.63事件が起きる
fact1: みやみわLv.85事件は生じない fact2: 読み違えることが生じる fact3: 「厚しということは発生しない」ということは「支え続けることが起こるし更に読み違えることが発生する」ということが契機である fact4: いとおしいということと少ないということが起きるは「如此しということは生じない」ということを誘発する fact5: みえみよLv.69事件は起こらない fact6: 「厚しということは生じなくてその上みえみよLv.69事件は起きない」ということはぽなぽえLv.53事件は生じないということを阻止する fact7: みよみゆLv.63事件が生じる fact8: 当て付けがましいということが生じる fact9: 支え続けることが発生する
fact9 & fact2 -> int1: 支え続けることおよび読み違えることが生じる; int1 & fact3 -> int2: 厚しということは発生しない; int2 & fact5 -> int3: 厚しということは起きないしみえみよLv.69事件は発生しない; int3 & fact6 -> int4: ぽなぽえLv.53事件が起きる; int4 & fact7 -> hypothesis;
fact9 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact5 -> int3: (¬{C} & ¬{D}); int3 & fact6 -> int4: {E}; int4 & fact7 -> hypothesis;
$facts$ = fact1: みやみわLv.85事件は生じない fact2: 読み違えることが生じる fact3: 「厚しということは発生しない」ということは「支え続けることが起こるし更に読み違えることが発生する」ということが契機である fact4: いとおしいということと少ないということが起きるは「如此しということは生じない」ということを誘発する fact5: みえみよLv.69事件は起こらない fact6: 「厚しということは生じなくてその上みえみよLv.69事件は起きない」ということはぽなぽえLv.53事件は生じないということを阻止する fact7: みよみゆLv.63事件が生じる fact8: 当て付けがましいということが生じる fact9: 支え続けることが発生する ; $hypothesis$ = ぽなぽえLv.53事件が起こるしみよみゆLv.63事件が起きる ; $proof$ = 
fact9 & fact2 -> int1: 支え続けることおよび読み違えることが生じる; int1 & fact3 -> int2: 厚しということは発生しない; int2 & fact5 -> int3: 厚しということは起きないしみえみよLv.69事件は発生しない; int3 & fact6 -> int4: ぽなぽえLv.53事件が起きる; int4 & fact7 -> hypothesis; __PROVED__
fact9 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact5 -> int3: (¬{C} & ¬{D}); int3 & fact6 -> int4: {E}; int4 & fact7 -> hypothesis; __PROVED__