Translate the following inference to logic notation: If Jennifer works, then John is playing tennis. If John plays tennis, then Jennifer is working. John is not playing tennis. Jennifer is working or James is not running. Therefore James is not running.
p -> q. q -> p. ~q. p or ~r. Therefore ~r.