Anne is rough. Charlie is not white. Dave is kind. If someone is nice then they are red. If someone is kind then they are rough. If someone is red then they are nice. Rough people are red. All nice people are kind. If someone is rough and not red then they are green.
Dave is nice.