Anne is big. Anne is not green. Anne is not quiet. Anne is not red. Anne is white. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Erin is big. Erin is blue. Erin is not green. Erin is quiet. Erin is red. Erin is white. Fiona is blue. If someone is blue and not quiet then they are not green. Quiet, big people are white. Quiet, blue people are red.
Charlie is red.