Translate the following inference to logic notation: It is not snowing. It is not late. Barbara is sleeping if and only if it is late. It is snowing or Barbara is sleeping. Therefore Joseph is playing squash.
~p. ~q. r <-> q. p or r. Therefore s.