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