Translate the following inference to logic notation: If Elisabeth were not a musician, then it is cloudy. Michael is a mechanic. If Elisabeth were a musician, then James is taking a plane. James is not taking a plane. Therefore Michael is a mechanic and it is cloudy.
~p -> q. r. p -> s. ~s. Therefore r and q.