Anne is green. Anne is not young. Dave is not cold. Dave is smart. Fiona is cold. Fiona is red. Gary is white. All green, cold things are young. All smart things are green. Smart things are red. All white things are young. If something is not green then it is young. If something is cold and not young then it is not smart. If something is smart and not young then it is big. If something is cold and not big then it is not green.
Anne is green.