Translate the following inference to logic notation: It is not windy or William is reading a book. It is cloudy or it is windy. It is not cloudy or Joseph is a musician. Therefore Joseph is a musician or William is reading a book.
~p or q. r or p. ~r or s. Therefore s or q.