Anne is furry. Anne is nice. Anne is red. Anne is round. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Fiona is red. Harry is blue. Harry is furry. Harry is red. Round things are young. Furry, red things are blue. All round, green things are furry. If something is green then it is blue. All red things are round. Blue things are green. All nice, young things are green. If Fiona is young then Fiona is furry.
Fiona is not green.