∀x ((Professional(x) ∧ SoccerPlayer(x)) → ¬Play(x, professionalBasketball)))
∀x ((Professional(x) ∧ Defender(x)) → (Professional(x) ∧ SoccerPlayer(x)))
∀x ((Professional(x) ∧ CenterBack(x)) → (Professional(x) ∧ Defender(x))
∃x (Athlete(x) ∧ Professional(x) ∧ CenterBack(x))
Play(stephenCurry, professionalBasketball)
(Professional(stephenCurry) ∧ CenterBack(stephenCurry)) → ¬Athlete(stephenCurry)