Anne is blue. Anne is nice. Charlie is furry. Charlie is white. Dave is red. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. Fiona is white. If someone is blue then they are green. Red people are smart. If Anne is furry and Anne is white then Anne is green. If someone is green and white then they are red. All blue people are furry. If someone is white then they are blue. All smart, green people are nice.
Dave is green.