Translate the following inference to logic notation: Barbara is curious if and only if Karen is a nurse. It is windy if and only if Barbara is curious. Therefore if Karen were a nurse, then it is windy.
p <-> q. r <-> p. Therefore q -> r.