Anne is white. Anne is not young. Fiona is big. Fiona is young. Gary is not big. Gary is blue. Gary is red. If something is blue then it is young. If something is young and blue then it is round. If Gary is green and Gary is red then Gary is young. If Gary is green and Gary is big then Gary is white. Blue things are green. Young things are blue. If something is green and not white then it is red. If something is green and not blue then it is round.
Fiona is not red.