Translate the following inference to logic notation: If Sarah drinks water, then it is snowing. If Sarah drinks water, then it is overcast. If it is overcast, then Sarah is drinking water. Therefore if it is overcast, then it is snowing.
p -> q. p -> r. r -> p. Therefore r -> q.