Translate the following inference to logic notation: If Barbara were an artist, then Charles is playing tennis. Karen is not climbing a mountain. Charles is playing tennis if and only if Karen is climbing a mountain. If Charles plays tennis, then Barbara is an artist. If Karen climbs a mountain, then Charles is playing tennis. Therefore Barbara is not an artist.
p -> q. ~r. q <-> r. q -> p. r -> q. Therefore ~p.