Anne is kind. Anne is nice. Charlie is blue. Charlie is furry. Charlie is smart. Harry is blue. Harry is kind. If Charlie is furry then Charlie is rough. If something is green and smart then it is nice. If something is blue then it is furry. Furry, rough things are smart. Nice things are blue. If something is furry then it is kind.
Harry is not green.