∃x (ProfessionalSoccerDefender(x) ∧ ProfessionalCenterback(x))
∀x (ProfessionalSoccerDefender(x) → ProfessionalSoccerPlayer(x))
∀x (ProfessionalSoccerPlayer(x) → ¬ProfessionalBasketballPlayer(x)))
∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x))
NBAPlayer(stephencurry)
¬(ProfessionalCenterback(stephenCurry) ∧ ProfessionalSoccerDefender(stephenCurry))