Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is smart. Bob is young. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is young. Young, rough things are red. All red things are green. If Bob is kind then Bob is green.
Gary is green.