The dog is rough. If the dog is rough and the dog is young then the dog is green. If someone is rough then they are young.
The dog needs the dog.
@0: The dog is rough.[(triple1)] @1: The dog is young.[(((triple1) -> rule2))] @2: The dog is green.[(((triple1 ((triple1) -> rule2)) -> rule1))]