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