Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. If Anne is cold then Anne is red. All green people are big. If someone is red then they are blue. If someone is blue and green then they are quiet. Blue, nice people are cold. If Fiona is nice then Fiona is cold.
Anne is not red.