Translate the following inference to logic notation: Elisabeth is not a politician. For all x, if x_21 were a mechanic, then x_21 is curious. If Sarah climbs a mountain, then Sarah is a mechanic. Sarah is curious if and only if Elisabeth is a politician. If Sarah were curious, then Sarah is a mechanic. Therefore Sarah is not climbing a mountain.
~p. forall x: P(x) -> Q(x). q -> P(a). Q(a) <-> p. Q(a) -> P(a). Therefore ~q.