Translate the following inference to logic notation: If it is cloudy, then Elisabeth is writing a letter. If Linda drives a car, then it is cloudy. Linda is driving a car or it is not raining. Therefore if it rains, then Elisabeth is writing a letter.
p -> q. r -> p. r or ~s. Therefore s -> q.