Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is white. Rough, blue people are big. All blue people are nice.
Bob is not blue.
@0: Bob is big.[(triple1 OR ((triple5 triple2) -> rule1))] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple2) -> rule2))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)]