Translate the following inference to logic notation: If Thomas were a musician, then it is cloudy. If it is cloudy, then Thomas is a musician. If Thomas were a musician, then it is cloudy. It is snowing. If Thomas were a musician, then it is not snowing. Therefore it is not cloudy.
p -> q. q -> p. p -> q. r. p -> ~r. Therefore ~q.