Translate the following inference to logic notation: Robert is not writing a letter. Charles is not cooking or it is cloudy. Linda is climbing a mountain. Charles is cooking or Robert is writing a letter. Therefore it is cloudy and Linda is climbing a mountain.
~p. ~q or r. s. q or p. Therefore r and s.