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