Translate the following inference to logic notation: For all x, x_5 is fast or x_5 will cook. For all x, x_5 is not fast or x_5 will go running. Joseph is not cooking or Jessica is a writer. Therefore Joseph is running or Jessica is a writer.
forall x: P(x) or Q(x). forall x: ~P(x) or R(x). ~Q(a) or p. Therefore R(a) or p.