Translate the following inference to logic notation: If Michael were a musician, then it is sunny. If it is cold, then Thomas is making tea. If Thomas makes tea, then Michael is a musician. If it rains, then it is cold. Therefore if it rains, then it is sunny.
p -> q. r -> s. s -> p. t -> r. Therefore t -> q.