inference

A logical process of drawing conclusions from a collection of data and relationships between data and potential conclusions.

Examples are chain rule, modus ponens, modus tollens, and resolution.