Translate the following inference to logic notation: James is driving a car if and only if David is a carpenter. David is a carpenter if and only if it is snowing. Therefore if James drives a car, then it is snowing.
p <-> q. q <-> r. Therefore p -> r.