Anne is young. Bob is smart. Dave is cold. Gary is white. If something is rough and smart then it is nice. All white things are smart. If Gary is smart then Gary is white. If Bob is nice then Bob is green. If something is smart and white then it is rough. All smart things are white. All cold things are rough. If something is smart then it is young.
Bob is rough.