A generalization that makes sense of observations by using logical reasoning.