Anne is big. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is white. Anne is young. Dave is green. Gary is green. Gary is red. Gary is white. Gary is young. If something is red then it is kind.
Dave is not kind.