Charlie is red. Charlie is not rough. Charlie is young. Dave is not big. Dave is red. Dave is white. Fiona is young. Gary is not blue. Gary is rough. Gary is young. All rough, big things are blue. Young, blue things are white. If Fiona is blue then Fiona is red. If something is green then it is young. If something is white and green then it is rough. If something is green and not white then it is not rough. If something is white and not red then it is not blue. If something is young and not rough then it is not white.
Fiona is not red.