Henry will be ejected from the rest of the game.
If a soccer player receives two yellow cards in one game, this player will be ejected from the rest of the game. If a soccer player receives one red card in one game, this player will be ejected from the rest of the game. Henry is a soccer player. In one game, Henry first receives one yellow card, then he receives one red card.
∀x (SoccerPlayer(x) ∧ TwoYellow(x) → Eject(x)) ∀x (SoccerPlayer(x) ∧ OneRed(x) → Eject(x))    SoccerPlayer(henry) ¬TwoYellow(henry) ∧ OneRed(henry)