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