Bob is furry. Rough people are blue. Furry people are rough. If someone is blue then they are cold.
Bob is not rough.
@0: Bob is furry.[(triple1)] @1: Bob is rough.[(((triple1) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is cold.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]