Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. If something is red and green then it is round. If Charlie is green then Charlie is kind. If something is rough and green then it is nice.
Charlie is not rough.