The dog is nice. If the dog is nice then the dog is cold. If the dog is cold then the dog is round.
The dog is round.
@0: The dog is nice.[(triple1)] @1: The dog is cold.[(((triple1) -> rule1))] @2: The dog is round.[(((((triple1) -> rule1)) -> rule2))]