Anne is big. Anne is green. Anne is red. Bob is big. Bob is not blue. Bob is kind. Bob is red. Bob is smart. Bob is young. Dave is big. Dave is red. Dave is smart. Dave is young. Harry is green. Harry is red. Harry is smart. Big, green people are smart. If Harry is young and Harry is smart then Harry is red. If Harry is young then Harry is not big. If someone is kind and blue then they are green. If Dave is big and Dave is blue then Dave is kind. All blue, young people are red. If Dave is big then Dave is blue. If Bob is green and Bob is blue then Bob is red.
Harry is smart.