Translate the following inference to logic notation: If it rains, then Joseph is working. If Joseph works, then Karen is climbing a mountain. If Karen climbs a mountain, then John is running. John is not running. Therefore it is not raining.
p -> q. q -> r. r -> s. ~s. Therefore ~p.