Translate the following inference to logic notation: If it is overcast, then it is sunny. If Barbara were a musician, then it is overcast. Barbara is a musician if and only if it is sunny. It is not overcast. Therefore it is not sunny.
p -> q. r -> p. r <-> q. ~p. Therefore ~q.