Charlie is big. Charlie is kind. Charlie is not red. Fiona is kind. Gary is not big. Harry is big. Harry is not kind. If Fiona is kind then Fiona is nice. If Harry is kind and Harry is not nice then Harry is smart. If Charlie is green and Charlie is smart then Charlie is not big. If something is smart and not nice then it is green. If something is nice and not green then it is big. If something is quiet and not big then it is not nice.
Harry is not kind.