Translate the following inference to logic notation: If Thomas were an office clerk, then it is not raining. It is raining. If Thomas were an office clerk, then it is snowing. If it snows, then Thomas is an office clerk. Therefore it is not snowing.
p -> ~q. q. p -> r. r -> p. Therefore ~r.