借り易いということは発生しない
fact1: もしみねみちょLv.76事件ではなく御し易いということが起こるなら借り易いということが起きる fact2: 借り易いということはぴにぴゆLv.21事件かもしくは御し易いということかどちらもに阻まれる fact3: もちゃもにゃLv.21事件は発生しない fact4: もしもちゃもにゃLv.21事件が起こらないとすると御し易いということが起こるしかつみねみちょLv.76事件は発生する
fact4 & fact3 -> int1: 御し易いということとみねみちょLv.76事件どちらもが生じる; int1 -> int2: 御し易いということが起こる; int2 -> int3: ぴにぴゆLv.21事件が起こるかもしくは御し易いということが発生する; int3 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({C} v {A}); int3 & fact2 -> hypothesis;
借り易いということが起こる
$facts$ = fact1: もしみねみちょLv.76事件ではなく御し易いということが起こるなら借り易いということが起きる fact2: 借り易いということはぴにぴゆLv.21事件かもしくは御し易いということかどちらもに阻まれる fact3: もちゃもにゃLv.21事件は発生しない fact4: もしもちゃもにゃLv.21事件が起こらないとすると御し易いということが起こるしかつみねみちょLv.76事件は発生する ; $hypothesis$ = 借り易いということは発生しない ; $proof$ = 
fact4 & fact3 -> int1: 御し易いということとみねみちょLv.76事件どちらもが生じる; int1 -> int2: 御し易いということが起こる; int2 -> int3: ぴにぴゆLv.21事件が起こるかもしくは御し易いということが発生する; int3 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({C} v {A}); int3 & fact2 -> hypothesis; __PROVED__