Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Bob is young. All nice, young things are green. If something is smart then it is quiet.
Bob is not smart.
@0: Bob is green.[(triple1 OR ((triple2 triple7) -> rule1))] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple5) -> rule2))] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]