Translate the following inference to logic notation: Sarah is rich if and only if Jennifer is a doctor. If Sarah were rich, then David is drinking water. If David drinks water, then Jennifer is a doctor. Therefore if Jennifer were a doctor, then Sarah is rich.
p <-> q. p -> r. r -> q. Therefore q -> p.