Alan is red. Eric is red. Eric is nice. Gary is young. Gary is rough. Gary is cold. Harry is young. Harry is kind. Harry is big. If someone is kind and young then they are big. If someone is young and cold and big then they are green. If someone is big and rough then they are young. If someone is cold and red then they are big. If someone is young and rough and cold then they are red. If someone is green and nice and red then they are cold.
Harry is not kind.