Translate the following inference to logic notation: Mary is happy or it is windy. Robert is sleeping. Mary is not happy. If Robert sleeps, then Jennifer is reading a book. Therefore it is windy and Jennifer is reading a book.
p or q. r. ~p. r -> s. Therefore q and s.