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