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