Translate the following inference to logic notation: If Michael sleeps, then Susan is a janitor. For all x, x_14 is an artist if and only if x_14 is a janitor. For all x, x_7 will sleep if and only if x_7 will drink water. Susan is not an artist. Therefore Michael is not drinking water.
P(a) -> Q(b). forall x: R(x) <-> Q(x). forall x: P(x) <-> S(x). ~R(b). Therefore ~S(a).