Charlie is big. Charlie is green. Charlie is kind. Charlie is white. Charlie is young. Dave is green. Dave is young. Gary is big. Gary is kind. Gary is white. Gary is young. Harry is green. Harry is kind. Harry is quiet. Harry is white. Harry is young. If Dave is kind and Dave is quiet then Dave is green. All young things are kind. If something is quiet and green then it is smart. If something is big then it is quiet. All kind things are big. All kind, smart things are white. White things are kind. All white things are smart.
Dave is not smart.