Anne is quiet. Anne is round. Anne is smart. Bob is not blue. Bob is cold. Bob is rough. Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Charlie is round. Dave is blue. Blue things are quiet. If something is red then it is cold. Rough, cold things are red. Blue, quiet things are rough. Blue things are quiet. If something is red then it is round. All cold, quiet things are smart. All blue, round things are smart. All rough things are red.
Charlie is not smart.