Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Harry is kind. Harry is smart. Harry is white. All smart, big things are nice. If something is smart and white then it is big. All green things are big. If Harry is nice then Harry is white. If something is nice then it is red. If something is green and smart then it is red.
Harry is not red.