Translate the following inference to logic notation: Sarah is a musician if and only if it is raining. Sarah is not a musician. It is raining if and only if Michael is a soldier. Michael is a soldier or Mary is not playing tennis. Therefore Mary is not playing tennis.
p <-> q. ~p. q <-> r. r or ~s. Therefore ~s.