Translate the following inference to logic notation: William is taking a plane if and only if Jessica is playing tennis. If William plays a game, then it is raining. It is not raining. Jessica is playing tennis if and only if William is playing a game. Therefore William is not taking a plane.
p <-> q. r -> s. ~s. q <-> r. Therefore ~p.