塗り易いということが生じるし忍耐強いということが起こる
fact1: 忍耐強いということが生じる fact2: 塩っ辛いということと出難いということどちらもが発生する fact3: 「塗り易いということは起きない」ということは塩っ辛いということに阻止される
fact2 -> int1: 塩っ辛いということが生じる; int1 & fact3 -> int2: 塗り易いということが発生する; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 忍耐強いということが生じる fact2: 塩っ辛いということと出難いということどちらもが発生する fact3: 「塗り易いということは起きない」ということは塩っ辛いということに阻止される ; $hypothesis$ = 塗り易いということが生じるし忍耐強いということが起こる ; $proof$ = 
fact2 -> int1: 塩っ辛いということが生じる; int1 & fact3 -> int2: 塗り易いということが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__