Translate the following inference to logic notation: Elisabeth is not playing tennis. Karen is fast if and only if Elisabeth is playing tennis. If Karen were not fast, then Charles is an electrician. If Karen were fast, then Elisabeth is playing tennis. Therefore Charles is an electrician.
~p. q <-> p. ~q -> r. q -> p. Therefore r.