Translate the following inference to logic notation: It is cloudy if and only if William is playing squash. It is not cloudy. Charles is reading a book if and only if Susan is an artist. Charles is not reading a book. Therefore Susan is not an artist and William is not playing squash.
p <-> q. ~p. r <-> s. ~r. Therefore ~s and ~q.