Translate the following inference to logic notation: Joseph is an office clerk. If it is sunny, then Elisabeth is not curious. Elisabeth is curious and Richard is a bartender. Therefore Joseph is an office clerk and it is not sunny.
p. q -> ~r. r and s. Therefore p and ~q.