Translate the following inference to logic notation: It is snowing or it is cold. If it is late, then it is cloudy. If it snows, then it is late. If James drives a car, then it is cloudy. If it is cold, then James is driving a car. Therefore it is cloudy.
p or q. r -> s. p -> r. t -> s. q -> t. Therefore s.