Translate the following inference to logic notation: Jennifer is climbing a mountain if and only if Robert is a writer. It is overcast. If it is overcast, then Jennifer is climbing a mountain. Therefore Jennifer is climbing a mountain.
p <-> q. r. r -> p. Therefore p.