Translate the following inference to logic notation: Joseph is not driving a car. If James were a writer, then Joseph is driving a car. If it rains, then Thomas is a server. If James were a writer, then it is raining. If Thomas were a server, then James is a writer. Therefore it is not raining.
~p. q -> p. r -> s. q -> r. s -> q. Therefore ~r.