Anne is green. Anne is nice. Anne is rough. Anne is young. Charlie is rough. Charlie is white. Charlie is young. Fiona is white. Gary is rough. Gary is young. If Gary is red and Gary is rough then Gary is young. If Gary is furry then Gary is white. If someone is white then they are red. If someone is young and rough then they are green. Young, red people are rough. Furry people are young. Red, white people are furry. White, young people are nice. If Anne is white and Anne is furry then Anne is green.
Anne is not rough.