Translate the following inference to logic notation: If it is cold, then John is making tea. If John makes tea, then Thomas is an office clerk. It is cold or James is not driving a car. If Thomas were an office clerk, then John is making tea. Therefore if James drives a car, then Thomas is an office clerk.
p -> q. q -> r. p or ~s. r -> q. Therefore s -> r.