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