Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is round. Anne is white. Charlie is blue. Charlie is green. Charlie is red. Charlie is round. Erin is blue. Erin is red. Smart things are green. If something is white then it is smart. If Charlie is white then Charlie is round.
Erin is not green.