Translate the following inference to logic notation: If Susan plays squash, then Barbara is reading a book. It is raining or Susan is playing squash. For all x, if x_13 cooks, then x_13 is reading a book. It is not raining or Richard is working. If Richard works, then Barbara is cooking. Therefore Barbara is reading a book.
p -> P(a). q or p. forall x: Q(x) -> P(x). ~q or r. r -> Q(a). Therefore P(a).