Translate the following inference to logic notation: Thomas is not cooking. Linda is an electrician if and only if Thomas is cooking. Charles is climbing a mountain or Linda is not an electrician. If Charles climbs a mountain, then Linda is an electrician. Therefore Charles is not climbing a mountain.
~p. q <-> p. r or ~q. r -> q. Therefore ~r.