Translate the following inference to logic notation: If Robert were a scientist, then Elisabeth is a nurse. Robert is a scientist or Elisabeth is not a nurse. Robert is not a scientist. Therefore Elisabeth is not a nurse.
p -> q. p or ~q. ~p. Therefore ~q.