Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is smart. All rough, blue things are big.
Bob is rough.
@0: Bob is big.[(triple1 OR ((triple6 triple2) -> rule1))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)]