Anne is kind. Charlie is nice. Charlie is red. Charlie is young. Dave is red. Dave is white. Dave is young. Erin is nice. Erin is white. Erin is young. All young people are red. All kind people are young. If someone is kind and rough then they are red. If Anne is nice and Anne is white then Anne is young. Kind, rough people are white. All kind, red people are rough. Red, white people are nice.
Charlie is not rough.