Bob is green. Charlie is furry. Charlie is green. Charlie is nice. Charlie is round. Dave is smart. Harry is blue. Harry is round. Harry is smart. Harry is young. If Bob is young and Bob is smart then Bob is round. If someone is nice then they are blue. Blue, round people are smart. If someone is nice and young then they are smart. All furry people are blue. Smart, young people are blue.
Charlie is smart.