退色し易いということは発生しない
fact1: 退色し易いということは「伝わり易いということが起こるしさらに聞き取り難いということが起こる」ということに阻まれる fact2: 「伝わり易いということが生じる」ということは間違っていない fact3: 聞き取り難いということが起きる fact4: 仮に聞き取り難いということは生じないならば退色し易いということが発生するしそれに伝わり易いということは発生する
fact2 & fact3 -> int1: 伝わり易いということが生じるし更に聞き取り難いということが起きる; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis;
退色し易いということが起きる
$facts$ = fact1: 退色し易いということは「伝わり易いということが起こるしさらに聞き取り難いということが起こる」ということに阻まれる fact2: 「伝わり易いということが生じる」ということは間違っていない fact3: 聞き取り難いということが起きる fact4: 仮に聞き取り難いということは生じないならば退色し易いということが発生するしそれに伝わり易いということは発生する ; $hypothesis$ = 退色し易いということは発生しない ; $proof$ = 
fact2 & fact3 -> int1: 伝わり易いということが生じるし更に聞き取り難いということが起きる; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis; __PROVED__