Anne is not red. Dave is nice. Dave is red. If someone is big and young then they are kind. If someone is big and not nice then they are red. If someone is nice then they are not kind.
Anne is not kind.