The sky is a dome holding the sun, the stars and the wandering planets.
Venus and Mars will both be appearing in tonight's sky.
mnli hypothesis: Venus and Mars will both be appearing in tonight's sky. premise: The sky is a dome holding the sun, the stars and the wandering planets.