Translate the following inference to logic notation: It is overcast or it is raining. It is not overcast. Robert is a scientist. If John were a sailor, then Robert is not a scientist. Therefore it is raining and John is not a sailor.
p or q. ~p. r. s -> ~r. Therefore q and ~s.