Translate the following inference to logic notation: If it is sunny, then Karen is drinking water. It is not sunny. If Karen drinks water, then it is sunny. Mary is climbing a mountain. If Karen were a writer, then Karen is drinking water. Therefore Karen is not a writer and Mary is climbing a mountain.
p -> q. ~p. q -> p. r. s -> q. Therefore ~s and r.