Anne is white. Bob is big. Erin is big. Erin is not green. Erin is young. Fiona is red. Fiona is smart. Quiet, smart people are green. If Anne is big then Anne is white. If Erin is smart then Erin is not young. Red, young people are white. All smart people are young. All white people are quiet. White, green people are not big. If someone is young and not quiet then they are not smart. If someone is white and not young then they are big.
Bob is red.