ぽいぽにゃLv.21事件は生じない
fact1: 大人しいということが起きる fact2: 着手すことは「引き難いということは起きない一方で大人しいということが起こる」ということの原因となる fact3: 引き難いということは発生しないということは「ぽちゃぽよLv.86事件が起こる」ということに防がれる fact4: 「もし仮にもにょもいLv.9事件が起こらないとすれば着手すことおよびすばしっこいということは発生する」ということは真実である fact5: ぽちゃぽよLv.86事件が生じる fact6: もし引き難いということが起こるし大人しいということが生じるとすればぽいぽにゃLv.21事件は起こらない
fact3 & fact5 -> int1: 引き難いということが生じる; int1 & fact1 -> int2: 引き難いということおよび大人しいということ両方ともが生じる; int2 & fact6 -> hypothesis;
fact3 & fact5 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
ぽいぽにゃLv.21事件が発生する
$facts$ = fact1: 大人しいということが起きる fact2: 着手すことは「引き難いということは起きない一方で大人しいということが起こる」ということの原因となる fact3: 引き難いということは発生しないということは「ぽちゃぽよLv.86事件が起こる」ということに防がれる fact4: 「もし仮にもにょもいLv.9事件が起こらないとすれば着手すことおよびすばしっこいということは発生する」ということは真実である fact5: ぽちゃぽよLv.86事件が生じる fact6: もし引き難いということが起こるし大人しいということが生じるとすればぽいぽにゃLv.21事件は起こらない ; $hypothesis$ = ぽいぽにゃLv.21事件は生じない ; $proof$ = 
fact3 & fact5 -> int1: 引き難いということが生じる; int1 & fact1 -> int2: 引き難いということおよび大人しいということ両方ともが生じる; int2 & fact6 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __PROVED__