Translate the following inference to logic notation: If Mary were a nurse, then Jessica is driving a car. If it rains, then Susan is taking a plane. If Susan takes a plane, then Mary is a nurse. If Jessica drives a car, then it is raining. Therefore Susan is taking a plane if and only if it is raining.
p -> q. r -> s. s -> p. q -> r. Therefore s <-> r.