親しということが起きるか赤黒いということが起きるかあるいは両方ともである
fact1: あやかることは親しということの原因となる fact2: 忘れ易いということは起きないか睦まじいということは発生しないかあるいは両方である fact3: 忘れ易いということは発生しないということか「睦まじいということは起きない」ということかあるいはどちらもは「あやかることは起こらない」ということを回避する
fact3 & fact2 -> int1: あやかることが発生する; int1 & fact1 -> int2: 「親しということが生じる」ということは真実だ; int2 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact1 -> int2: {A}; int2 -> hypothesis;
$facts$ = fact1: あやかることは親しということの原因となる fact2: 忘れ易いということは起きないか睦まじいということは発生しないかあるいは両方である fact3: 忘れ易いということは発生しないということか「睦まじいということは起きない」ということかあるいはどちらもは「あやかることは起こらない」ということを回避する ; $hypothesis$ = 親しということが起きるか赤黒いということが起きるかあるいは両方ともである ; $proof$ = 
fact3 & fact2 -> int1: あやかることが発生する; int1 & fact1 -> int2: 「親しということが生じる」ということは真実だ; int2 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}; int1 & fact1 -> int2: {A}; int2 -> hypothesis; __PROVED__