Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is rough. Bob is smart. If something is furry then it is nice.
Bob is not rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is nice.[(triple5 OR ((triple4) -> rule1))] Bob is rough.[(triple6)] Bob is smart.[(triple7)]