Translate the following inference to logic notation: It is sunny or Charles is an office clerk. It is overcast. If it is cold, then it is not overcast. It is not sunny. Therefore it is not cold and Charles is an office clerk.
p or q. r. s -> ~r. ~p. Therefore ~s and q.