Translate the following inference to logic notation: It is cold if and only if Karen is running. It is cloudy. If it is cloudy, then Karen is running. Therefore Karen is running.
p <-> q. r. r -> q. Therefore q.