Translate the following inference to logic notation: Jennifer is rich if and only if Karen is a mechanic. It is sunny if and only if Karen is a mechanic. It is not sunny. Therefore Jennifer is not rich.
p <-> q. r <-> q. ~r. Therefore ~p.