Translate the following inference to logic notation: If it is cold, then Jennifer is reading a book. If it is sunny, then it is raining. If it is overcast, then it is sunny. If it rains, then it is cold. Therefore if it is overcast, then Jennifer is reading a book.
p -> q. r -> s. t -> r. s -> p. Therefore t -> q.