伝わり易いということが発生する
fact1: 懐こいということは生じないということは「実行し易いということは生じないし加えて生臭いということは発生しない」ということを引き起こす fact2: 生臭いということが起こる fact3: 話し易いということが発生する fact4: 「実行し易いということは起きない」ということは話し易いということに阻まれる
fact4 & fact3 -> int1: 実行し易いということが発生する; int1 & fact2 -> int2: 実行し易いということおよび生臭いということ両方が起きる;
fact4 & fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C});
伝わり易いということが発生する
$facts$ = fact1: 懐こいということは生じないということは「実行し易いということは生じないし加えて生臭いということは発生しない」ということを引き起こす fact2: 生臭いということが起こる fact3: 話し易いということが発生する fact4: 「実行し易いということは起きない」ということは話し易いということに阻まれる ; $hypothesis$ = 伝わり易いということが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__