Charlie is big. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is quiet. Dave is white. Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If something is white then it is big. If Charlie is quiet then Charlie is blue. If something is quiet and white then it is big. If something is big then it is rough. Blue things are rough. All smart, rough things are quiet. If Charlie is smart and Charlie is white then Charlie is quiet. Green things are rough.
Charlie is not smart.