Anne is smart. Charlie is blue. Charlie is green. Charlie is rough. Charlie is white. Dave is blue. Dave is kind. Dave is rough. Dave is smart. Dave is white. Erin is green. Erin is rough. All green people are blue. All kind, white people are quiet. Smart people are green. If Anne is blue then Anne is rough. If someone is rough then they are kind. If someone is kind then they are rough. Quiet, blue people are rough. If Anne is blue and Anne is quiet then Anne is rough. All blue people are white.
Charlie is blue.