Translate the following inference to logic notation: If James listens to a song, then William is not running. Richard is working if and only if James is listening to a song. For all x, if x_10 drinks water, then x_10 is working. William is running. Therefore Richard is not drinking water.
p -> ~q. P(a) <-> p. forall x: Q(x) -> P(x). q. Therefore ~Q(a).