Translate the following inference to logic notation: If Michael sleeps, then Barbara is a musician. If it snows, then Barbara is a musician. Michael is sleeping if and only if Barbara is a musician. Therefore if it snows, then Michael is sleeping.
p -> q. r -> q. p <-> q. Therefore r -> p.