Gary is not big. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is young. Harry is kind. Harry is not nice. Harry is not round. Harry is young. Big people are not red. If someone is round and not nice then they are not young. If Gary is kind and Gary is red then Gary is not young. If someone is young and big then they are kind. If someone is smart and not nice then they are red. If someone is not kind then they are round. If Gary is not young and Gary is not kind then Gary is smart. If Harry is red and Harry is not kind then Harry is not nice.
Harry is smart.