Translate the following inference to logic notation: If Linda climbs a mountain, then William is a police officer. If William works, then Linda is climbing a mountain. If Robert drives a car, then William is working. If William were a police officer, then Robert is driving a car. Therefore if Robert drives a car, then William is a police officer.
p -> q. r -> p. s -> r. q -> s. Therefore s -> q.