Dave is not big. Dave is cold. Dave is green. Dave is not smart. Dave is not white. Erin is young. Gary is not green. Harry is green. Harry is kind. Harry is young. White, cold things are not young. All white things are smart. All kind, smart things are big. Kind things are white. White things are kind. If Dave is white then Dave is not smart. If Gary is big then Gary is smart. If something is not big then it is not white.
Erin is not smart.