Translate the following inference to logic notation: It is cold if and only if Karen is sleeping. James is an artist or it is cold. James is an artist if and only if Karen is sleeping. Therefore Karen is sleeping.
p <-> q. r or p. r <-> q. Therefore q.