Anne is smart. Dave is not smart. Gary is white. Harry is not cold. Harry is kind. Harry is smart. Harry is white. Nice, kind things are cold. All white, rough things are kind. All white, smart things are rough. If Gary is red and Gary is kind then Gary is white. Cold things are kind. If Gary is rough and Gary is not white then Gary is nice.
Gary is not rough.