分け合うことが起こるし加えて清々しいということが発生する
fact1: 仮に合わせ易いということが起きれば分け合うことが起きる fact2: 清々しいということが起きる fact3: 合わせ易いということと引き起こし易いということが発生する
fact3 -> int1: 「合わせ易いということが発生する」ということは成り立つ; int1 & fact1 -> int2: 分け合うことが発生する; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 仮に合わせ易いということが起きれば分け合うことが起きる fact2: 清々しいということが起きる fact3: 合わせ易いということと引き起こし易いということが発生する ; $hypothesis$ = 分け合うことが起こるし加えて清々しいということが発生する ; $proof$ = 
fact3 -> int1: 「合わせ易いということが発生する」ということは成り立つ; int1 & fact1 -> int2: 分け合うことが発生する; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__