Translate the following inference to logic notation: Elisabeth is not playing squash. James is taking a plane if and only if William is a janitor. Elisabeth is playing squash if and only if William is a janitor. Therefore James is not taking a plane.
~p. q <-> r. p <-> r. Therefore ~q.