Bob is big. Bob is furry. Bob is nice. Bob is not quiet. Bob is rough. Bob is smart. Bob is white. All smart, quiet things are rough. If something is furry and not quiet then it is white.
Bob is not rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple2 triple4) -> rule2))]