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