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