Translate the following inference to logic notation: If it rains, then John is driving a car. If John drives a car, then it is raining. John is driving a car if and only if it is sunny. Therefore if it is sunny, then it is raining.
p -> q. q -> p. q <-> r. Therefore r -> p.