Translate the following inference to logic notation: If Richard were a carpenter, then David is climbing a mountain. If Linda were happy, then Richard is a carpenter. If David climbs a mountain, then Linda is happy. Therefore if David climbs a mountain, then Richard is a carpenter.
p -> q. r -> p. q -> r. Therefore q -> p.