Translate the following inference to logic notation: Linda is playing squash if and only if Jennifer is running. If Linda plays squash, then Joseph is sleeping. Joseph is not sleeping. If Linda plays squash, then Jennifer is running. Therefore Jennifer is not running.
p <-> q. p -> r. ~r. p -> q. Therefore ~q.