Translate the following inference to logic notation: Susan is playing squash if and only if it is raining. If Susan plays squash, then Barbara is sad. If Barbara were sad, then it is raining. Therefore Barbara is sad if and only if it is raining.
p <-> q. p -> r. r -> q. Therefore r <-> q.