Jim is an athlete.
No athletes are slow runners.  All professional basketball players are athletes.  All NBA players are professional basketball players.  All Knicks players are NBA players.  Jim is either not a professional basketball player or not a slow runner. 
∀x (Athlete(x) → ¬SlowRunner(x)) ∀x (ProfessionalBasketballPlayer(x) → Athlete(x)) ∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x)) ∀x (KnicksPlayer(x) → NBAPlayer(x)) ¬(ProfessionalBasketballPlayer(jim) ⊕ SlowRunner(jim))