Charlie is rough. Dave is cold. Erin is green. Gary is rough. If Dave is big and Dave is quiet then Dave is green. All green things are white. If something is big then it is quiet. White, quiet things are not young. If something is rough and green then it is big. If something is green then it is rough.
Erin is not rough.