The cow eats the rabbit. The rabbit chases the cow. The tiger visits the rabbit. If someone chases the tiger then the tiger chases the rabbit. If someone visits the rabbit then they chase the tiger. If the rabbit is round then the rabbit is nice. If someone is green and young then they chase the rabbit. If someone is round then they eat the tiger. If someone chases the rabbit then they eat the tiger.
The cow does not eat the tiger.
@0: The cow eats the rabbit.[(triple1)] The rabbit chases the cow.[(triple2)] The tiger visits the rabbit.[(triple3)] @1: The tiger chases the tiger.[(((triple3) -> rule2))] @2: The tiger chases the rabbit.[(((((triple3) -> rule2)) -> rule1))] @3: The tiger eats the tiger.[(((((((triple3) -> rule2)) -> rule1)) -> rule6))]