Dave is green. Erin is not smart. Gary is not red. Harry is not smart. If something is green and not red then it is young. If something is young then it is kind. If Dave is red and Dave is white then Dave is smart. If something is kind and smart then it is green. If something is young and smart then it is white. If something is not green and not white then it is furry.
Harry is not smart.