Translate the following inference to logic notation: For all x, if x_28 were a writer, then x_28 is an electrician. Jennifer is not playing squash. Jennifer is playing squash or Richard is a writer. If Richard were an electrician, then Jessica is writing a letter. Therefore Jessica is writing a letter or it is cold.
forall x: P(x) -> Q(x). ~p. p or P(a). Q(a) -> q. Therefore q or r.