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