Anne is green. Bob is blue. Bob is red. Dave is green. Dave is quiet. Dave is smart. Erin is blue. Erin is not red. Erin is smart. Erin is young. If something is not red then it is smart. If something is young and quiet then it is green. If Erin is quiet then Erin is green. All young things are not red. If Anne is smart then Anne is blue. If something is blue and not smart then it is white.
Erin is young.