Anne is blue. Anne is red. Anne is smart. Charlie is red. Charlie is white. Erin is big. Erin is cold. All white, red things are cold. Big things are blue. If something is cold and red then it is blue. Big, round things are blue. Smart things are big. If something is blue and round then it is smart. Smart, blue things are red. All round things are white.
Erin is not blue.