Translate the following inference to logic notation: It is late. If it is late, then it is cold. If it is overcast, then it is late. If it is cold, then it is overcast. If it snows, then it is cold. Therefore it is cold.
p. p -> q. r -> p. q -> r. s -> q. Therefore q.