Translate the following inference to logic notation: William is a soldier if and only if Patricia is playing squash. If Michael works, then Patricia is playing squash. If William were a soldier, then Jessica is an office clerk. Therefore if Michael works, then Jessica is an office clerk.
p <-> q. r -> q. p -> s. Therefore r -> s.