可推论的；可推断的

deducible derivable