Translate the following inference to logic notation: Elisabeth is not sleeping. If Susan plays squash, then James is climbing a mountain. For all x, if x_32 reads a book, then x_32 is climbing a mountain. Elisabeth is sleeping if and only if it is overcast. James is reading a book or Susan is playing squash. If Sarah cooks, then James is not climbing a mountain. Therefore Sarah is not cooking and it is not overcast.
~p. q -> P(a). forall x: Q(x) -> P(x). p <-> r. Q(a) or q. s -> ~P(a). Therefore ~s and ~r.