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