Translate the following inference to logic notation: Mary is climbing a mountain. If Sarah were an astronaut, then Mary is not climbing a mountain. If it snows, then Sarah is an astronaut. Therefore it is not snowing.
p. q -> ~p. r -> q. Therefore ~r.