Translate the following inference to logic notation: If it is windy, then Elisabeth is a sailor. It is windy or Elisabeth is climbing a mountain. For all x, if x_5 climbs a mountain, then x_5 is a sailor. Therefore Elisabeth is a sailor.
p -> P(a). p or Q(a). forall x: Q(x) -> P(x). Therefore P(a).