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