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