Dave is blue. Dave is green. Dave is kind. Dave is smart. Dave is young. Fiona is blue. Fiona is red. Harry is green. Harry is nice. Harry is red. If Harry is red and Harry is green then Harry is blue. If Dave is red then Dave is blue. All nice people are red. All nice, young people are kind. If someone is red and nice then they are blue. All green, nice people are smart.
Dave is smart.