Translate the following inference to logic notation: For all x, x_17 will not drink water. If Linda goes running, then Richard is not a server. Richard is not cooking or Richard is a server. Richard is cooking or Sarah is drinking water. Therefore Linda is not running.
forall x: ~P(x). p -> ~q. ~r or q. r or P(a). Therefore ~p.