Bob is nice. Dave is smart. Harry is green. If someone is nice then they are smart.
Bob is rough.
@0: Bob is nice.[(triple1)] Dave is smart.[(triple2)] Harry is green.[(triple3)] @1: Bob is smart.[(((triple1) -> rule1))]