The dog is rough. Rough people are nice. If someone is nice then they are big. If the dog is big then the dog is young.
The dog is rough.
@0: The dog is rough.[(triple1)] @1: The dog is nice.[(((triple1) -> rule1))] @2: The dog is big.[(((((triple1) -> rule1)) -> rule2))] @3: The dog is young.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]