Translate the following inference to logic notation: If Charles plays tennis, then Richard is an office clerk. Richard is an office clerk if and only if Charles is playing tennis. Charles is not playing tennis. It is raining if and only if Richard is an office clerk. Therefore it is not raining.
p -> q. q <-> p. ~p. r <-> q. Therefore ~r.