Translate the following inference to logic notation: Barbara is drinking water if and only if William is taking a plane. If Robert plays a game, then William is taking a plane. Barbara is not drinking water. Therefore Robert is not playing a game.
p <-> q. r -> q. ~p. Therefore ~r.