Translate the following inference to logic notation: Richard is not running or Jennifer is driving a car. Richard is running or Joseph is a soldier. If Joseph were a soldier, then Karen is not making tea. Karen is making tea. Therefore Jennifer is driving a car.
~p or q. p or r. r -> ~s. s. Therefore q.