Translate the following inference to logic notation: If it is cloudy, then Michael is a lawyer. If Karen were a writer, then Michael is a lawyer. It is cloudy. Therefore Michael is a lawyer.
p -> q. r -> q. p. Therefore q.