Anne is quiet. Anne is not young. Charlie is blue. Charlie is green. Charlie is young. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. All young things are round. If Anne is round and Anne is green then Anne is blue. All rough things are not green. Quiet, green things are red. If something is green and rough then it is round. If something is rough and not red then it is young.
Anne is not red.