Translate the following inference to logic notation: It is cloudy if and only if Elisabeth is playing tennis. It is not cloudy. If Elisabeth doesn't play tennis, then Linda is climbing a mountain. Therefore Linda is climbing a mountain.
p <-> q. ~p. ~q -> r. Therefore r.