Translate the following inference to logic notation: Patricia is not working. If James were a politician, then Elisabeth is running. James is a politician or Barbara is a writer. If Elisabeth goes running, then Patricia is working. Therefore Barbara is a writer.
~p. q -> r. q or s. r -> p. Therefore s.