∃x (Professional(x) ∧ BasketballPlayer(x) ∧ ¬AmericanNational(x))
∀x (Professional(x) ∧ BasketballPlayer(x) → CanDo(x, jumpShot))
∀x (CanDo(x, jumpShot) → LeapStraightIntoAir(x))
∀x (LeapStraightIntoAir(x) → Activate(x, legMuscle))
¬Activate(yuri, legMuscle)
AmericanNational(yuri)