Translate the following inference to logic notation: Robert is climbing a mountain if and only if it is late. It is overcast and it is raining. Charles is not a doctor. Robert is climbing a mountain if and only if Charles is a doctor. Therefore it is overcast and it is not late.
p <-> q. r and s. ~t. p <-> t. Therefore r and ~q.