Stephen Curry is a centerback.
Some defenders are centerback. All defenders are soccer players. No soccer players are professional basketball players. All NBA players are professional basketball players. Stephen Curry is an NBA player.
∃x (Defender(x) ∧ Centerback(x)) ∀x (Defender(x) → SoccerPlayer(x)) ¬(∃x (SoccerPlayer(x) ∧ ProfessionalBasketballPlayer(x))) ∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x)) NBAPlayer(stephencurry)