Translate the following inference to logic notation: Sarah is rich if and only if Jennifer is a nurse. If it is overcast, then Jennifer is a nurse. If Sarah were rich, then it is overcast. Therefore if Sarah were rich, then Jennifer is a nurse.
p <-> q. r -> q. p -> r. Therefore p -> q.