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