Bob is cold. Dave is big. Dave is nice. Dave is red. Dave is young. Erin is red. Gary is not young. If something is red then it is cold. Red, rough things are young. If something is smart and nice then it is rough. Cold things are smart. If Gary is young and Gary is nice then Gary is not smart. If Gary is smart and Gary is big then Gary is young. All smart, red things are nice. If Dave is red then Dave is rough. If something is nice and not young then it is rough.
Gary is red.