Translate the following inference to logic notation: David is not sad. Linda is a scientist. David is sad or it is cold. Therefore Linda is a scientist and it is cold.
~p. q. p or r. Therefore q and r.