Anne is green. Anne is kind. Anne is nice. Anne is not round. Charlie is big. Charlie is blue. Charlie is green. Charlie is round. Gary is big. Gary is blue. Gary is not green. Gary is not kind. Blue, round things are green. If Gary is nice then Gary is big. If something is nice and not big then it is blue.
Anne is not blue.