∀x (ShootingGuard(x) → ¬TallerThan(x, 7Feet))
∀x (Top75BasketballCenter(x) → TallerThan(x, 7Feet))
∀x (Play(x, twoPosition) → ShootingGuard(x))
∀x (Guard(x) ∧ ¬Play(x, pointPosition) → Play(x, twoPosition))
Top75BasketballCenter(john) ⊕ ShootingGuard(john) → ¬(Guard(john) ∧ ¬Play(john, pointPosition) ∧ Play(john, twoPosition))
Top75BasketballCenter(john)