Translate the following inference to logic notation: John is not climbing a mountain. James is playing tennis. If Robert were a lawyer, then John is climbing a mountain. Robert is a lawyer if and only if Charles is driving a car. Therefore Charles is not driving a car and James is playing tennis.
~p. q. r -> p. r <-> s. Therefore ~s and q.