Anne is quiet. Anne is white. Bob is big. Bob is cold. Bob is quiet. Bob is round. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. All cold, round things are smart. If something is white then it is rough. All quiet, round things are cold. All white things are smart. Smart, quiet things are rough. If something is cold then it is quiet. If something is cold and rough then it is smart. White, quiet things are smart.
Charlie is not round.