Bob is blue. Bob is cold. Bob is rough. Dave is rough. Erin is blue. Erin is rough. Erin is young. Gary is rough. Gary is round. Gary is young. All rough, smart things are blue. All blue, smart things are green. If something is young then it is smart.
Gary is not green.