Anne is big. Charlie is blue. Charlie is cold. Charlie is nice. Erin is big. Erin is green. Harry is young. If someone is round and cold then they are big. Round, young people are blue. All big, nice people are round. If Anne is big then Anne is round. If someone is young then they are nice. All blue people are cold. All big, green people are young.
Anne is not green.