Translate the following inference to logic notation: Karen is sleeping. It is raining. It is raining if and only if it is sunny. Therefore it is sunny and Karen is sleeping.
p. q. q <-> r. Therefore r and p.