Translate the following inference to logic notation: If Charles were a doctor, then Susan is running. If Susan goes running, then Mary is working. If Mary works, then Charles is a doctor. Mary is working if and only if Charles is a doctor. Therefore Mary is working if and only if Susan is running.
p -> q. q -> r. r -> p. r <-> p. Therefore r <-> q.