Translate the following inference to logic notation: Richard is not playing tennis or Jennifer is driving a car. It is not late or Richard is running. If Jennifer drives a car, then Charles is climbing a mountain. It is late or Richard is playing tennis. If Richard goes running, then Charles is climbing a mountain. Therefore Charles is climbing a mountain.
~p or q. ~r or s. q -> t. r or p. s -> t. Therefore t.