Translate the following inference to logic notation: If Karen makes tea, then Thomas is a carpenter. Karen is not making tea. If Thomas were a carpenter, then Karen is making tea. If Karen makes tea, then Thomas is a carpenter. Therefore Thomas is not a carpenter.
p -> q. ~p. q -> p. p -> q. Therefore ~q.