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 does not eat the dog.
@0: The dog is nice.[(triple1)] @1: The dog is cold.[(((triple1) -> rule1))] @2: The dog is round.[(((((triple1) -> rule1)) -> rule2))]