Anne is big. Anne is not blue. Anne is cold. Anne is not green. Anne is not white. Charlie is not blue. Charlie is not red. Erin is blue. Erin is white. Gary is not big. Gary is blue. Gary is cold. If something is big and rough then it is green. Rough, big things are green. If something is white then it is blue.
Erin is not green.