Bob is green. Erin is round. Harry is cold. All white things are smart. Cold, green things are white. Cold things are green.
Bob is green.
@0: Bob is green.[(triple1)] Erin is round.[(triple2)] Harry is cold.[(triple3)] @1: Harry is green.[(((triple3) -> rule3))] @2: Harry is white.[(((triple3 ((triple3) -> rule3)) -> rule2))] @3: Harry is smart.[(((((triple3 ((triple3) -> rule3)) -> rule2)) -> rule1))]