Translate the following inference to logic notation: Charles is not an office clerk or Susan is climbing a mountain. Mary is not curious. Joseph is a nurse if and only if Mary is curious. It is sunny. Charles is an office clerk or Joseph is a nurse. Therefore it is sunny and Susan is climbing a mountain.
~p or q. ~r. s <-> r. t. p or s. Therefore t and q.