Translate the following inference to logic notation: For all x, z_4 will drink water. If Robert drinks water, then it is overcast. Robert is a nurse if and only if it is overcast. Therefore it is overcast.
forall x: P(x). P(a) -> p. Q(a) <-> p. Therefore p.