Translate the following inference to logic notation: Joseph is a bartender if and only if Karen is climbing a mountain. If it is sunny, then Karen is climbing a mountain. It is overcast if and only if Joseph is a bartender. Therefore if it is sunny, then it is overcast.
p <-> q. r -> q. s <-> p. Therefore r -> s.