Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is not white. Bob is not young. Young people are not red. If someone is not red then they are white. Quiet people are green. Young, red people are white. All white, young people are not quiet. If someone is not white and not young then they are nice.
Bob is not smart.