Translate the following inference to logic notation: If Joseph reads a book, then Thomas is climbing a mountain. If it is windy, then Thomas is climbing a mountain. Joseph is reading a book or it is windy. James is a politician. Therefore James is a politician and Thomas is climbing a mountain.
p -> q. r -> q. p or r. s. Therefore s and q.