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