Mark visits the gym at least once a day.
All people who limp often and regularly have long-term medical issues with underlying causes. If people have long-term medical issues with underlying causes, then they are not often spry and energetic. People either stay indoors and rest a lot at home or people are often tired and disinterested in their activities. If people stay indoors and rest a lot at home, then they do not visit the gym at least once a day. If Mark either limps often and regularly or is often spry and energetic, then Mark limps often and regularly or is often tired and disinterested in his activities.
∀x (Limp(x) → Medical(x)) ∀x (Medical(x) → ¬Spry(x)) ∀x (Spry(x) ⊕ Tired(x)) ∧ (∀x (Tired(x) → Indoors(x))) ∀x (Indoors(x) → ¬Gym(x)) (Limp(Mark) ⊕ Spry(Mark)) → Limp(Mark) ∨ Tired(Mark)