forming a logical inference Synonym