Translate the following inference to logic notation: Mary is not climbing a mountain. If Robert were poor, then Mary is climbing a mountain. It is raining and Richard is a police officer. Therefore Robert is not poor and it is raining.
~p. q -> p. r and s. Therefore ~q and r.