Anne is young. Erin is not young. If something is big then it is red. If something is young then it is not blue. If something is not young then it is blue. If something is nice then it is smart. If something is smart then it is white. Young things are not blue. If something is smart then it is white. If something is young then it is not smart.
Erin is not red.