The cat eats the tiger. The rabbit eats the cat. The rabbit eats the tiger. The rabbit is rough. The rabbit needs the tiger. The tiger is young. The tiger needs the cat. If someone is rough then they chase the cat.
The rabbit eats the tiger.
@0: The cat eats the tiger.[(triple1)] The rabbit eats the cat.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger is young.[(triple6)] The tiger needs the cat.[(triple7)] @1: The rabbit chases the cat.[(((triple4) -> rule1))]