Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is not red. Bob is smart. Bob is white. If someone is kind and not blue then they are red. If someone is nice and not furry then they are white.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)]