Either John is a professional basketball player and he never exercises, or he is not a professional basketball player and he sometimes exercises.
¬(ProfessionalBasketballPlayer(jim) ⊕ NeverExercises(jim))