Anne is kind. Anne is smart. Charlie is green. Charlie is not red. Charlie is white. Charlie is young. Dave is kind. Dave is red. Dave is smart. Dave is young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. If someone is young and not white then they are red. If someone is quiet then they are young. If someone is young and white then they are green.
Dave is smart.