Translate the following inference to logic notation: It is overcast. It is overcast if and only if Jennifer is curious. Jennifer is not curious. Therefore Susan is a cashier.
p. p <-> q. ~q. Therefore r.