Translate the following inference to logic notation: If it snows, then James is sleeping. If James sleeps, then it is windy. If it is windy, then it is cloudy. Therefore if it snows, then it is cloudy.
p -> q. q -> r. r -> s. Therefore p -> s.