They are fixed stars, which means they move with the sky.
The fixed stars are supposed to move with the sky.
mnli hypothesis: The fixed stars are supposed to move with the sky. premise: They are fixed stars, which means they move with the sky.