Translate the following inference to logic notation: Richard is writing a letter. Jennifer is fast or Jessica is drinking water. For all x, if x_16 drinks water, then x_16 is cooking. If Jennifer were fast, then Jessica is cooking. Therefore Jessica is cooking.
p. q or P(a). forall x: P(x) -> Q(x). q -> Q(a). Therefore Q(a).