The bear eats the cat. The cat eats the bear. If someone eats the cat then the cat sees the bear. If someone sees the bear then they are rough.
The cat visits the cat.
@0: The bear eats the cat.[(triple1)] The cat eats the bear.[(triple2)] @1: The cat sees the bear.[(((triple1) -> rule1))] @2: The cat is rough.[(((((triple1) -> rule1)) -> rule2))]