Translate the following inference to logic notation: If it is windy, then Susan is not a carpenter. Susan is a carpenter. If it snows, then it is windy. Therefore it is not snowing.
p -> ~q. q. r -> p. Therefore ~r.