Translate the following inference to logic notation: Mary is not climbing a mountain. For all x, if x_2 were a server, then x_2 is climbing a mountain. It is cloudy. Therefore it is cloudy and Mary is not a server.
~P(a). forall x: Q(x) -> P(x). p. Therefore p and ~Q(a).