Translate the following inference to logic notation: If it is cloudy, then it is overcast. If Jessica goes running, then it is overcast. If it is overcast, then it is cloudy. If it is late, then Jessica is running. Therefore if it is late, then it is cloudy.
p -> q. r -> q. q -> p. s -> r. Therefore s -> p.