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