Bob is big. Bob is furry. Bob is not kind. Bob is nice. Bob is smart. Bob is white. Dave is big. Dave is not furry. Dave is green. Dave is kind. Dave is not nice. Dave is white. If something is not kind then it is green. If Dave is not smart then Dave is big.
Dave is not white.