通い慣れることかぷちょぷやLv.23事件が生じる
fact1: 憎々しいということは通い慣れることは生じないということを回避する fact2: もくものLv.2事件が生じるしわりないということが発生する fact3: 引き出し易いということが発生する fact4: 「憎々しいということが発生する」ということは「もくものLv.2事件が発生する」ということに引き起こされる fact5: 「まよまちゃLv.99事件および動かし難いということが生じる」ということは成り立つ
fact2 -> int1: もくものLv.2事件が起きる; fact4 & int1 -> int2: 憎々しいということが起こる; int2 & fact1 -> int3: 通い慣れることが生じる; int3 -> hypothesis;
fact2 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 -> hypothesis;
$facts$ = fact1: 憎々しいということは通い慣れることは生じないということを回避する fact2: もくものLv.2事件が生じるしわりないということが発生する fact3: 引き出し易いということが発生する fact4: 「憎々しいということが発生する」ということは「もくものLv.2事件が発生する」ということに引き起こされる fact5: 「まよまちゃLv.99事件および動かし難いということが生じる」ということは成り立つ ; $hypothesis$ = 通い慣れることかぷちょぷやLv.23事件が生じる ; $proof$ = 
fact2 -> int1: もくものLv.2事件が起きる; fact4 & int1 -> int2: 憎々しいということが起こる; int2 & fact1 -> int3: 通い慣れることが生じる; int3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; fact4 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 -> hypothesis; __PROVED__