Anne is red. Anne is rough. Bob is red. Charlie is red. Charlie is rough. Charlie is white. Erin is red. Erin is smart. Erin is white. Erin is young. If someone is white and smart then they are young. All young people are rough. All rough, round people are smart. All quiet people are white. All rough people are quiet. If Bob is young and Bob is smart then Bob is white. If someone is white then they are round.
Charlie is not young.