Premise: There were seven planets and the sun, and three thousand fixed stars.

Hypothesis: There were seven planets with a single sun.
Relation: entailment