Bob is not kind. Bob is quiet. Bob is smart. Charlie is blue. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is rough. Dave is blue. Dave is kind. Dave is nice. Dave is red. Fiona is not blue. Fiona is nice. Fiona is not rough. If someone is not blue then they are not rough. All rough, smart people are not red.
Dave is not blue.