Translate the following inference to logic notation: Sarah is making tea if and only if Susan is sleeping. Susan is not sleeping. For all x, z_2 is a doctor if and only if z_2 will make tea. Therefore Sarah is not a doctor.
P(a) <-> p. ~p. forall x: Q(x) <-> P(x). Therefore ~Q(a).