Anne is big. Charlie is not blue. If someone is young then they are big. If Anne is red then Anne is smart. If someone is smart then they are quiet. If someone is not red then they are not young. If someone is green and not big then they are not smart. If someone is blue and not quiet then they are not red.
Anne is not green.