Translate the following inference to logic notation: If James sleeps, then Patricia is an office clerk. Jennifer is an astronaut if and only if James is sleeping. For all x, z is happy if and only if z is an astronaut. Patricia is not an office clerk. Therefore Jennifer is not happy.
p -> q. P(a) <-> p. forall x: Q(x) <-> P(x). ~q. Therefore ~Q(a).