Translate the following inference to logic notation: Karen is a police officer or it is not raining. Karen is a police officer if and only if it is cloudy. Therefore if it rains, then it is cloudy.
p or ~q. p <-> r. Therefore q -> r.