Translate the following inference to logic notation: If it is windy, then it is cold. If it is cloudy, then it is raining. If it rains, then it is windy. It is cloudy or Sarah is not a writer. Therefore if Sarah were a writer, then it is cold.
p -> q. r -> s. s -> p. r or ~t. Therefore t -> q.