乗り易いということは起こらない
fact1: 乗り易いということは発生しないということは心置き無いということかまたは取得し易いということかもしくは両方に由来する fact2: 取得し易いということは起こらないならば共鳴し易いということは起きなくて消化吸収され易いということは起こらない fact3: もし向かすことは起きないとすると消化吸収され易いということおよび取得し易いということが起きる fact4: 向かすことは起きない fact5: 心置き無いということは乗り易いということを防ぐ
fact4 & fact3 -> int1: 消化吸収され易いということと取得し易いということが生じる; int1 -> int2: 取得し易いということが起きる; int2 -> int3: 心置き無いということかまたは取得し易いということかあるいはどちらもが生じる; int3 & fact1 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 -> int3: ({C} v {B}); int3 & fact1 -> hypothesis;
共鳴し易いということは生じない
$facts$ = fact1: 乗り易いということは発生しないということは心置き無いということかまたは取得し易いということかもしくは両方に由来する fact2: 取得し易いということは起こらないならば共鳴し易いということは起きなくて消化吸収され易いということは起こらない fact3: もし向かすことは起きないとすると消化吸収され易いということおよび取得し易いということが起きる fact4: 向かすことは起きない fact5: 心置き無いということは乗り易いということを防ぐ ; $hypothesis$ = 乗り易いということは起こらない ; $proof$ = 
fact4 & fact3 -> int1: 消化吸収され易いということと取得し易いということが生じる; int1 -> int2: 取得し易いということが起きる; int2 -> int3: 心置き無いということかまたは取得し易いということかあるいはどちらもが生じる; int3 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 -> int3: ({C} v {B}); int3 & fact1 -> hypothesis; __PROVED__