Translate the following inference to logic notation: Jennifer is playing a game if and only if Robert is taking a plane. Robert is not taking a plane. It is late and Thomas is running. Therefore it is late and Jennifer is not playing a game.
p <-> q. ~q. r and s. Therefore r and ~p.