Translate the following inference to logic notation: If Karen were an office clerk, then Thomas is not running. Thomas is running. It is cold. Therefore it is cold and Karen is not an office clerk.
p -> ~q. q. r. Therefore r and ~p.