Bob is blue. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is cold. Charlie is red. Dave is blue. Dave is quiet. Erin is cold. Erin is white. If something is smart then it is white. All quiet, rough things are smart. If Charlie is smart and Charlie is white then Charlie is cold. Cold, quiet things are smart. White, blue things are rough. All red, cold things are blue. If Dave is smart then Dave is quiet. Blue things are quiet.
Charlie is not quiet.