Anne is big. Anne is not round. Bob is big. Bob is green. Charlie is blue. Charlie is not green. Charlie is nice. Charlie is round. Charlie is young. Harry is not green. Harry is nice. Harry is young. If someone is smart then they are blue. If someone is not big then they are blue. If someone is blue then they are smart. Smart, young people are nice. If someone is green then they are young. If someone is big and not smart then they are not nice.
Harry is smart.