Bob is green. Dave is nice. Harry is smart. All blue people are smart. If Bob is green then Bob is blue.
Bob is green.
@0: Bob is green.[(triple1)] Dave is nice.[(triple2)] Harry is smart.[(triple3)] @1: Bob is blue.[(((triple1) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule1))]