Translate the following inference to logic notation: If it is cloudy, then Jessica is drinking water. Jessica is fast or it is cloudy. Sarah is a scientist. For all x, if x_1 were fast, then x_1 is drinking water. Therefore Jessica is drinking water.
p -> P(a). Q(a) or p. q. forall x: Q(x) -> P(x). Therefore P(a).