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