Translate the following inference to logic notation: If David drives a car, then it is snowing. If it snows, then David is driving a car. John is not a politician. If it snows, then John is a politician. Therefore David is not driving a car.
p -> q. q -> p. ~r. q -> r. Therefore ~p.