Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Dave is smart. Gary is nice. Gary is quiet. Gary is smart. Harry is big. Harry is green. Harry is quiet. Harry is smart. Smart people are nice. Big, rough people are quiet. If Harry is quiet then Harry is rough.
Dave is not smart.