Translate the following inference to logic notation: Richard is reading a book if and only if Karen is running. Richard is reading a book if and only if it is cloudy. It is not late. It is late if and only if it is cloudy. Therefore Karen is not running.
p <-> q. p <-> r. ~s. s <-> r. Therefore ~q.