Translate the following inference to logic notation: William is a police officer if and only if James is happy. Susan is working. If Susan works, then Barbara is playing a game. James is not happy. Therefore Barbara is playing a game and William is not a police officer.
p <-> q. r. r -> s. ~q. Therefore s and ~p.