Bob is cold. Bob is nice. Bob is smart. Bob is white. Charlie is red. Dave is quiet. Dave is red. Fiona is cold. Fiona is quiet. Fiona is smart. If Charlie is white then Charlie is red. If someone is white then they are smart.
Dave is not smart.