Translate the following inference to logic notation: John is an office clerk or it is not windy. It is sunny. John is not an office clerk. Therefore it is sunny and it is not windy.
p or ~q. r. ~p. Therefore r and ~q.