Translate the following inference to logic notation: Charles is not playing squash. If Joseph were a scientist, then it is late. Charles is playing squash if and only if it is late. If it is late, then Joseph is a scientist. Therefore Joseph is not a scientist or Mary is a musician.
~p. q -> r. p <-> r. r -> q. Therefore ~q or s.