与し易いということが発生する
fact1: 合併し易いということは痛み易いということが起こるということにより発生する fact2: 合併し易いということは「与し易いということが発生する」ということのきっかけとなる fact3: 止め為さることは起きない fact4: 「合併し易いということが起こる」ということは塩辛いということにより発生する fact5: 痛み易いということかもしくは塩辛いということかどちらもは止め為さることが起こらないということは契機だ
fact5 & fact3 -> int1: 痛み易いということが起きるかまたは塩辛いということが起きる; int1 & fact1 & fact4 -> int2: 合併し易いということが起こる; int2 & fact2 -> hypothesis;
fact5 & fact3 -> int1: ({AA} v {AB}); int1 & fact1 & fact4 -> int2: {B}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 合併し易いということは痛み易いということが起こるということにより発生する fact2: 合併し易いということは「与し易いということが発生する」ということのきっかけとなる fact3: 止め為さることは起きない fact4: 「合併し易いということが起こる」ということは塩辛いということにより発生する fact5: 痛み易いということかもしくは塩辛いということかどちらもは止め為さることが起こらないということは契機だ ; $hypothesis$ = 与し易いということが発生する ; $proof$ = 
fact5 & fact3 -> int1: 痛み易いということが起きるかまたは塩辛いということが起きる; int1 & fact1 & fact4 -> int2: 合併し易いということが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({AA} v {AB}); int1 & fact1 & fact4 -> int2: {B}; int2 & fact2 -> hypothesis; __PROVED__