Bob is smart. Erin is quiet. Erin is young. If Erin is red and Erin is smart then Erin is nice. If something is smart and not green then it is not young. Big things are quiet. All nice, red things are smart. Quiet things are not big. If Erin is not smart and Erin is not nice then Erin is red.
Bob is green.