Anne is rough. Anne is white. Bob is cold. Bob is green. Dave is not big. Dave is rough. Dave is young. If someone is not young then they are big. If someone is green then they are blue.
Dave is not blue.