forming a final inference Synonym