Translate the following inference to logic notation: Linda is not a police officer. Elisabeth is sad or John is playing tennis. Linda is a police officer if and only if Elisabeth is sad. If it is cloudy, then John is not playing tennis. Therefore it is not cloudy.
~p. q or r. p <-> q. s -> ~r. Therefore ~s.