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 not 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))]