Bob is not green. Bob is kind. Bob is red. Bob is round. Charlie is smart. Dave is smart. Gary is blue. Gary is not green. Gary is kind. Gary is red. Gary is smart. Gary is young. If someone is not blue then they are kind.
Charlie is smart.