Translate the following inference to logic notation: For all x, z_4 will play squash. Richard is cooking if and only if Sarah is drinking water. If Richard plays squash, then Sarah is drinking water. Therefore Sarah is drinking water.
forall x: P(x). Q(a) <-> p. P(a) -> p. Therefore p.