inferring a logical result Synonym