Dave is green. Erin is cold. If something is smart and cold then it is green. All smart things are red. If something is rough and young then it is not green. If something is smart then it is green. Red, smart things are young. If something is rough then it is cold. If Erin is smart and Erin is not cold then Erin is kind. If something is cold and not kind then it is smart.
Erin is rough.