Anne is nice. Anne is rough. Fiona is furry. Fiona is nice. Fiona is red. Gary is red. Gary is white. Harry is green. Harry is nice. Harry is rough. Harry is white. All rough, nice things are furry. Furry, red things are kind. Rough things are kind. If Gary is kind and Gary is furry then Gary is nice. Nice, white things are furry. All white things are rough. If something is green and white then it is furry. Kind, red things are green. All nice things are red.
Gary is not nice.