Translate the following inference to logic notation: It is not cloudy. It is cloudy if and only if Barbara is making tea. It is late if and only if David is a musician. It is late if and only if Barbara is making tea. Therefore David is not a musician.
~p. p <-> q. r <-> s. r <-> q. Therefore ~s.