Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. If Bob is green and Bob is rough then Bob is nice.
Bob is smart.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple1 triple5) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]