There were seven planets and the sun, and three thousand fixed stars.
The seven planets danced with two suns in their solar system.
mnli hypothesis: The seven planets danced with two suns in their solar system. premise: There were seven planets and the sun, and three thousand fixed stars.