inferring logically Synonym