Bob is cold. Bob is green. Bob is white. Bob is young. Charlie is big. Charlie is not smart. Charlie is white. Dave is nice. Dave is young. Fiona is big. Fiona is cold. Fiona is young. If something is cold and not big then it is not smart. If Bob is cold then Bob is not nice.
Bob is not green.