Anne is nice. Bob is not cold. Bob is not nice. Bob is quiet. Bob is red. Bob is round. Charlie is big. Charlie is cold. Charlie is not quiet. Charlie is red. Dave is not big. Dave is blue. Dave is cold. Dave is nice. Dave is red. If something is big and not round then it is blue.
Dave is not blue.