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