Anne is young. Charlie is young. Erin is big. Erin is green. Erin is red. Erin is smart. Erin is white. If Charlie is white then Charlie is smart. Red people are blue. All smart, white people are big. Young people are white. If Anne is red and Anne is green then Anne is white. Young, green people are big.
Erin is not blue.