The cat is young. Young people are nice. If someone is young then they are rough.
The cat does not need the cat.
@0: The cat is young.[(triple1)] @1: The cat is nice.[(((triple1) -> rule1))] The cat is rough.[(((triple1) -> rule2))]