Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is smart. Anne is young. Charlie is smart. Charlie is young. Erin is not big. Erin is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is young. If Charlie is not young and Charlie is not smart then Charlie is white. If Erin is young then Erin is blue. If Charlie is big and Charlie is not young then Charlie is cold.
Erin is not blue.