Bob is nice. Bob is white. Charlie is quiet. Charlie is red. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Fiona is nice. Fiona is rough. Fiona is smart. All red, white things are quiet. Kind things are smart. If Charlie is nice then Charlie is white. If Fiona is kind then Fiona is nice. If something is white then it is rough. If something is smart then it is nice. All red things are nice. Rough things are kind.
Bob is not red.