Translate the following inference to logic notation: John is a carpenter and Karen is a taxi driver. John is not a writer. If John were a writer, then it is raining. If it rains, then John is a writer. Therefore John is a carpenter and it is not raining.
p and q. ~r. r -> s. s -> r. Therefore p and ~s.