Translate the following inference to logic notation: For all x, x_9 will climb a mountain or x_9 will cook. Elisabeth is not climbing a mountain or Karen is a lawyer. Karen is not a lawyer. Elisabeth is not cooking or it is overcast. Therefore it is overcast.
forall x: P(x) or Q(x). ~P(a) or p. ~p. ~Q(a) or q. Therefore q.