Anne is kind. Anne is quiet. Anne is smart. Anne is white. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. Dave is kind. Dave is quiet. Fiona is blue. Fiona is green. Fiona is kind. Fiona is white. All quiet, green things are smart. All kind things are smart. If something is smart then it is blue. If something is quiet and green then it is young. Blue things are green. Green things are white.
Bob is blue.