Charlie is cold. Charlie is not furry. Charlie is green. Charlie is smart. Charlie is white. Dave is cold. Dave is green. Dave is rough. Dave is not smart. Gary is not green. Gary is rough. Gary is smart. If someone is cold and not white then they are rough. Smart people are kind. All furry people are not white. All smart people are kind. If someone is not furry and not smart then they are green. Cold people are kind. All white people are rough. If someone is not kind then they are rough.
Charlie is smart.