Translate the following inference to logic notation: For all x, x_16 is not excited. Patricia is excited if and only if Richard is working. William is running. Therefore Richard is not working.
forall x: ~P(x). P(a) <-> p. q. Therefore ~p.