Translate the following inference to logic notation: It is cloudy and it is cold. Charles is a cashier. If Thomas were a politician, then it is not cloudy. Therefore Charles is a cashier and Thomas is not a politician.
p and q. r. s -> ~p. Therefore r and ~s.