Dave is green. Dave is kind. Dave is white. Erin is quiet. Gary is big. Harry is big. Harry is not rough. If Dave is kind and Dave is white then Dave is big. All big things are smart.
Erin is not green.