Anne is rough. Charlie is green. Charlie is young. Fiona is nice. Fiona is red. Fiona is rough. Gary is cold. Gary is green. Gary is red. Gary is young. If Charlie is young then Charlie is round. If Gary is nice then Gary is cold. If something is green and not nice then it is not rough. If something is green and not nice then it is young. If something is not rough then it is young. If something is round and not nice then it is not red.
Fiona is red.