Translate the following inference to logic notation: It is snowing or Jessica is curious. For all x, if x_14 were curious, then x_14 is driving a car. If it snows, then Jessica is driving a car. Charles is a writer. Therefore Jessica is driving a car and Charles is a writer.
p or P(a). forall x: P(x) -> Q(x). p -> Q(a). q. Therefore Q(a) and q.