Translate the following inference to logic notation: Patricia is playing a game. If Patricia were a soldier, then Jennifer is driving a car. If Jennifer drives a car, then Susan is climbing a mountain. If Patricia plays a game, then Patricia is a soldier. Therefore Susan is climbing a mountain.
p. q -> r. r -> s. p -> q. Therefore s.