Translate the following inference to logic notation: If it rains, then Joseph is a writer. Joseph is not a writer. If Joseph were a writer, then it is raining. Therefore it is not raining.
p -> q. ~q. q -> p. Therefore ~p.