Anne is kind. Anne is rough. Bob is kind. Bob is not smart. Dave is green. Harry is not kind. Harry is rough. If something is nice then it is green. If something is kind then it is rough. If Dave is rough and Dave is young then Dave is smart. Young, kind things are not red. If something is smart then it is kind. If Dave is young and Dave is green then Dave is rough. All young things are green. Green things are young. If something is not rough then it is not green.
Harry is kind.