Bob is red. Charlie is white. If something is not rough then it is white. If something is big then it is not red. If Bob is cold and Bob is red then Bob is round. If Charlie is cold then Charlie is young. If something is rough and not young then it is cold. If something is cold and not round then it is red.
Charlie is not cold.