Translate the following inference to logic notation: Mary is a police officer if and only if Susan is playing squash. Thomas is bored if and only if Susan is playing squash. It is cold if and only if Thomas is bored. It is not cold. Therefore Mary is not a police officer.
p <-> q. r <-> q. s <-> r. ~s. Therefore ~p.