It is possible to move to the green stage without ever reaching the yellow stage.
A game is played with three stages: red stage, yellow stage, and green stage. Each player begins at the red stage. All players must reach the yellow stage before they can reach the green stage. The yellow stage comes after the red stage. All players must proceed one stage at a time.
∃x (Player(x)) ∀x (Player(x) → StartRed(x)) ∀x (Player(x) → YellowToGreen(x)) ∀x (Player(x) → RedToYellow(x)) ∀x (Player(x) → ¬RedToGreen(x))