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 not big.
@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)]