Translate the following inference to logic notation: If it is cloudy, then it is late. If it rains, then Mary is happy. If Mary were happy, then it is cloudy. It is windy if and only if it is late. It is not windy. Therefore it is not raining.
p -> q. r -> s. s -> p. t <-> q. ~t. Therefore ~r.