Translate the following inference to logic notation: If Patricia drives a car, then it is snowing. If it snows, then Jennifer is a soldier. If Jennifer were a soldier, then Patricia is driving a car. If Patricia drives a car, then it is snowing. Therefore if it snows, then Patricia is driving a car.
p -> q. q -> r. r -> p. p -> q. Therefore q -> p.