Dave is smart. Erin is big. Erin is green. If Erin is young then Erin is smart. If Dave is smart then Dave is green. All green, blue things are big. Rough, smart things are red. Green things are rough. All green, big things are young.
Erin is not green.