Translate the following inference to logic notation: If David were bored, then Joseph is playing a game. Jennifer is cooking if and only if James is playing tennis. Joseph is not playing a game. James is playing tennis if and only if David is bored. Therefore Jennifer is not cooking.
p -> q. r <-> s. ~q. s <-> p. Therefore ~r.