Translate the following inference to logic notation: Joseph is playing tennis if and only if Michael is an office clerk. If Joseph doesn't play tennis, then it is late. Michael is not an office clerk. It is raining. Therefore it is raining and it is late.
p <-> q. ~p -> r. ~q. s. Therefore s and r.