Translate the following inference to logic notation: If Barbara reads a book, then it is cloudy. William is climbing a mountain or it is late. If it is late, then it is cloudy. William is not climbing a mountain or Barbara is reading a book. If it is cloudy, then it is late. Therefore it is cloudy.
p -> q. r or s. s -> q. ~r or p. q -> s. Therefore q.