Bob is young. Bob is nice. Bob is kind. Fred is red. Fred is cold. Gary is red. Gary is nice. Gary is kind. Gary is green. If someone is kind and young then they are red. If someone is cold and big and round then they are kind. If someone is big and nice and blue then they are young. If someone is nice and green and red then they are rough. If someone is red and young and kind then they are green.
Gary is not green.