Charlie is red. Charlie is rough. Charlie is smart. Dave is furry. Dave is green. Dave is smart. Gary is smart. Cold things are green. Smart things are cold. All rough things are furry. If something is cold and not rough then it is green. All smart, kind things are not rough. Furry things are cold. If something is not furry then it is green. If something is rough and not green then it is smart.
Gary is rough.