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