Anne is green. Bob is rough. Bob is white. Charlie is smart. Gary is nice. Gary is smart. Gary is white. All white people are green. Furry, white people are quiet. If someone is smart and nice then they are furry. If Gary is quiet then Gary is white. If Bob is smart and Bob is quiet then Bob is furry. Rough, green people are nice. Nice, green people are smart.
Bob is smart.