Translate the following inference to logic notation: Jennifer is not poor. If John drinks water, then Jennifer is poor. If Sarah drives a car, then John is drinking water. Therefore Sarah is not driving a car.
~p. q -> p. r -> q. Therefore ~r.