Translate the following inference to logic notation: For all x, y is a writer. For all x, if y were a writer, then y is playing squash. It is cloudy. Therefore Richard is playing squash and it is cloudy.
forall x: P(x). forall x: P(x) -> Q(x). p. Therefore Q(a) and p.