Translate the following inference to logic notation: If Richard goes running, then it is cloudy. If it is cloudy, then Linda is reading a book. If Linda reads a book, then Sarah is drinking water. If Sarah drinks water, then Richard is running. Therefore if it is cloudy, then Linda is reading a book.
p -> q. q -> r. r -> s. s -> p. Therefore q -> r.