Translate the following inference to logic notation: Patricia is an astronaut if and only if Jessica is playing squash. Patricia is not an astronaut. If Jessica plays squash, then William is bored. If William were bored, then Jessica is playing squash. Therefore William is not bored.
p <-> q. ~p. q -> r. r -> q. Therefore ~r.