Translate the following inference to logic notation: For all x, if z makes tea, then z is climbing a mountain. If it rains, then Susan is not climbing a mountain. Susan is making tea. Therefore it is not raining.
forall x: P(x) -> Q(x). p -> ~Q(a). P(a). Therefore ~p.