Translate the following inference to logic notation: For all x, x_18 is a poet. If Richard were a poet, then James is an electrician. Karen is drinking water. Therefore Karen is drinking water and James is an electrician.
forall x: P(x). P(a) -> p. q. Therefore q and p.