Maya will not play violin.
Maya will play violin if and only if she never injures her fingers. Volleyball players can injure their ankle, fingers, or shoulder. Maya is a volleyball player.
CanInjureFingures(maya) → ¬WillPlayViolin(maya) ∀x (VolleyballPlayer(x) → CanInjureFingures(x)) VolleyballPlayer(maya)