Translate the following inference to logic notation: It is windy if and only if Sarah is drinking water. It is overcast or it is not windy. Therefore if Sarah drinks water, then it is overcast.
p <-> q. r or ~p. Therefore q -> r.