Roger Federer is not a centerback.
No professional basketball players are soccer players. All NBA players are professional basketball players. All defenders are soccer players. All centerbacks are defenders. Roger Federer is not an NBA player or a defender.
¬(∃x (SoccerPlayer(x) ∧ ProfessionalBasketballPlayer(x))) ∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x)) ∀x (Defender(x) → SoccerPlayer(x)) ∀x (Centerback(x) → Defender(x)) ¬(NBAPlayer(rogerfederer) ⊕ Defender(rogerfederer))