Translate the following inference to logic notation: For all x, z will not cook. For all x, if z cooks, then z is playing squash. Richard is playing squash if and only if Karen is a writer. For all x, if z plays squash, then z is cooking. Therefore Karen is not a writer.
forall x: ~P(x). forall x: P(x) -> Q(x). Q(a) <-> p. forall x: Q(x) -> P(x). Therefore ~p.