Anne is not kind. Anne is nice. Anne is red. Anne is smart. Anne is white. Anne is not young. Bob is big. Bob is not smart. Bob is young. Charlie is big. Charlie is young. Dave is big. Dave is nice. Dave is red. Dave is smart. Dave is young. If something is smart and not red then it is kind. If something is not kind then it is nice. If something is kind and not nice then it is smart.
Dave is young.