Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Charlie is big. Charlie is nice. Charlie is smart. Charlie is white. Erin is big. Erin is nice. Gary is big. Gary is green. Gary is quiet. Gary is white. Green, white things are smart. Green, smart things are rough. Smart things are green. Quiet things are white. All big things are quiet. If something is green and smart then it is white. If Erin is white then Erin is green.
Erin is not green.