Bob is smart. Harry is rough. All smart people are green. If Harry is nice then Harry is green. If Bob is young and Bob is round then Bob is rough.
Bob is green.
@0: Bob is smart.[(triple1)] Harry is rough.[(triple2)] @1: Bob is green.[(((triple1) -> rule1))]