Translate the following inference to logic notation: William is poor or James is a writer. Karen is working. If William were poor, then James is drinking water. For all x, if x_14 were a writer, then x_14 is drinking water. Therefore Karen is working and James is drinking water.
p or P(a). q. p -> Q(a). forall x: P(x) -> Q(x). Therefore q and Q(a).