Bob is red. Bob is white. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Dave is cold. Dave is not nice. Dave is red. Dave is white. Gary is cold. Gary is nice. Gary is red. Gary is white. If someone is not red then they are green. Rough, white people are cold. If Dave is not cold then Dave is rough.
Bob is not green.