Dave is big. Dave is blue. Dave is red. Dave is rough. Dave is young. Erin is big. Erin is blue. Erin is rough. Erin is smart. Erin is young. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is smart. Gary is young. Young, smart people are rough. All rough people are green. If Erin is rough and Erin is blue then Erin is smart.
Erin is red.