Anne is not nice. Anne is not round. Fiona is red. Gary is kind. Gary is nice. Gary is red. Gary is young. All green, nice things are red. If something is young then it is nice. If Gary is not round then Gary is young. Nice, quiet things are kind. All young things are red. If something is young and not kind then it is nice. If something is kind and not young then it is red. If Gary is green and Gary is not red then Gary is not nice.
Anne is not red.