Translate the following inference to logic notation: If James reads a book, then it is cloudy. James is reading a book. If it is cloudy, then it is windy. If it is windy, then it is cold. Therefore it is cold.
p -> q. p. q -> r. r -> s. Therefore s.