Translate the following inference to logic notation: Robert is climbing a mountain. Robert is climbing a mountain if and only if Mary is a lawyer. Mary is not a lawyer. Therefore David is driving a car.
p. p <-> q. ~q. Therefore r.