Translate the following inference to logic notation: If Mary were a server, then Susan is drinking water. If Jennifer drives a car, then Mary is a server. If Susan drinks water, then Jennifer is driving a car. Therefore if Mary were a server, then Jennifer is driving a car.
p -> q. r -> p. q -> r. Therefore p -> r.