Translate the following inference to logic notation: For all x, x will not climb a mountain. If it is windy, then Susan is climbing a mountain. It is windy. Therefore Elisabeth is playing tennis.
forall x: ~P(x). p -> P(a). p. Therefore q.