Translate the following inference to logic notation: If Karen reads a book, then it is cold. It is cold if and only if Michael is playing squash. Karen is sleeping. Michael is not playing squash. Therefore Karen is sleeping and Karen is not reading a book.
p -> q. q <-> r. s. ~r. Therefore s and ~p.