Charlie is big. Charlie is blue. Charlie is green. Dave is nice. Dave is smart. Harry is green. Harry is kind. Harry is nice. Harry is smart. Harry is white. If Harry is blue and Harry is kind then Harry is not nice. If something is not smart then it is white. If something is not nice then it is white. If something is not big then it is green. If something is nice and kind then it is not blue. If something is not white then it is kind.
Harry is smart.