Bob is green. Charlie is big. Charlie is green. Charlie is not quiet. Charlie is rough. Erin is big. Gary is red. If Erin is quiet and Erin is young then Erin is big. All young people are not red. Big people are green. All green people are rough. If someone is red and big then they are not white. All rough, red people are not white. If Erin is rough then Erin is not red. If Bob is red and Bob is not young then Bob is green.
Bob is quiet.