Anne is blue. Anne is quiet. Anne is red. Anne is smart. Bob is nice. Bob is quiet. Bob is red. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Dave is quiet. Dave is smart. Cold things are blue. If Anne is nice and Anne is blue then Anne is quiet. If something is quiet and white then it is cold. Quiet, white things are blue. If something is white then it is cold. Quiet, red things are white. Nice things are blue. If Charlie is cold then Charlie is white.
Bob is not smart.