Translate the following inference to logic notation: If David were an office clerk, then Barbara is sad. Elisabeth is playing squash or Barbara is not sad. David is an office clerk or it is not cold. Therefore if it is cold, then Elisabeth is playing squash.
p -> q. r or ~q. p or ~s. Therefore s -> r.