Translate the following inference to logic notation: For all x, x is not a politician. David is a politician or Richard is drinking water. Richard is listening to a song. Therefore Richard is listening to a song and Richard is drinking water.
forall x: ~P(x). P(a) or p. q. Therefore q and p.