Translate the following inference to logic notation: It is not cold. If Jessica were an office clerk, then it is cold. If it is cold, then Joseph is sad. If it is overcast, then Jessica is an office clerk. If Joseph were sad, then it is overcast. Therefore it is not overcast.
~p. q -> p. p -> r. s -> q. r -> s. Therefore ~s.