Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is smart. Bob is white. Dave is red. Dave is rough. Dave is young. Erin is white. Harry is cold. Harry is green. Harry is rough. Harry is young. All young, smart people are red. All young, white people are smart. White people are young. If someone is green then they are young. All rough, green people are white. Red people are rough. All smart, rough people are green.
Dave is rough.