Translate the following inference to logic notation: It is snowing or it is not late. It is late or it is raining. If Mary were a nurse, then it is snowing. If it rains, then Mary is a nurse. Therefore it is snowing.
p or ~q. q or r. s -> p. r -> s. Therefore p.