Bob is kind. Bob is young. Charlie is kind. Charlie is red. Dave is furry. Dave is nice. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Red things are green. If Dave is rough and Dave is furry then Dave is red. If Dave is young and Dave is green then Dave is red. If something is green then it is young. Green, young things are kind. If something is rough then it is nice. If Bob is young then Bob is kind. All nice things are rough.
Charlie is rough.