A rule or process that derives a new fact from a given set of facts. There are three main methods: deduction, abduction, and induction. Examples of these styles of inference can be seen in theorem proving, expert systems, and machine learning, respectively.