Bob is big. Bob is green. Bob is smart. Dave is big. Dave is cold. Dave is nice. Dave is white. All white things are green. Smart things are green. If something is white and blue then it is nice.
Dave is not nice.