Translate the following inference to logic notation: If Richard plays squash, then Patricia is climbing a mountain. For all x, y_1 will play squash. It is overcast and Joseph is a writer. Therefore it is overcast and Patricia is climbing a mountain.
P(a) -> p. forall x: P(x). q and r. Therefore q and p.