Anne is big. Dave is big. Dave is blue. Erin is green. Erin is smart. Fiona is red. Fiona is young. Blue things are smart. All red, nice things are blue. All big things are blue. If something is big and nice then it is green. Red things are green. If Fiona is green then Fiona is nice. If something is green and big then it is nice. If Fiona is young then Fiona is green. If something is smart then it is red.
Anne is not red.