Translate the following inference to logic notation: If Elisabeth climbs a mountain, then Thomas is fast. It is not overcast. It is overcast if and only if Elisabeth is climbing a mountain. Elisabeth is climbing a mountain or Thomas is not fast. Therefore Thomas is not fast.
p -> q. ~r. r <-> p. p or ~q. Therefore ~q.