The cat is nice. The rabbit chases the cat. The rabbit eats the cat. If someone chases the cat then they chase the rabbit. If someone chases the cat then they are young. If someone chases the rabbit then they visit the rabbit. If someone visits the cat and they are rough then the cat visits the rabbit. If someone eats the cat and the cat is not young then they do not visit the cat. If the cat is green and the rabbit does not visit the cat then the cat eats the rabbit.
The rabbit eats the cat.
@0: The cat is nice.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit eats the cat.[(triple3)] @1: The rabbit chases the rabbit.[(((triple2) -> rule1))] The rabbit is young.[(((triple2) -> rule2))] @2: The rabbit visits the rabbit.[(((((triple2) -> rule1)) -> rule3))]