Roger Federer is a soccer player.
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))