Translate the following inference to logic notation: For all x, x_23 will not sleep. Joseph is taking a plane if and only if John is playing tennis. Jennifer is running if and only if Joseph is sleeping. Joseph is not taking a plane. Therefore Jennifer is not running and John is not playing tennis.
forall x: ~P(x). p <-> q. r <-> P(a). ~p. Therefore ~r and ~q.