Translate the following inference to logic notation: If Jennifer goes running, then Elisabeth is cooking. James is an office clerk if and only if Jennifer is running. James is an office clerk or Elisabeth is not cooking. Therefore if James were an office clerk, then Jennifer is running.
p -> q. r <-> p. r or ~q. Therefore r -> p.