Translate the following inference to logic notation: If Jessica were an office clerk, then Michael is running. If Jessica works, then Jessica is an office clerk. If Michael goes running, then Jessica is working. If Jessica were an office clerk, then Jessica is working. Therefore Jessica is working if and only if Jessica is an office clerk.
p -> q. r -> p. q -> r. p -> r. Therefore r <-> p.