Translate the following inference to logic notation: David is an electrician or it is cold. David is not an electrician. If Sarah were a doctor, then Sarah is an office clerk. If it is cold, then Sarah is an office clerk. Therefore Sarah is an office clerk.
p or q. ~p. r -> s. q -> s. Therefore s.