Translate the following inference to logic notation: John is reading a book or William is driving a car. If John reads a book, then it is snowing. If William drives a car, then it is late. If it snows, then it is late. If it is late, then it is cold. Therefore it is cold.
p or q. p -> r. q -> s. r -> s. s -> t. Therefore t.