The dog needs the rabbit. The mouse chases the dog. The rabbit is round. The squirrel eats the dog. If something chases the dog then the dog chases the rabbit. If something chases the squirrel then it eats the squirrel.
The squirrel eats the dog.
@0: The dog needs the rabbit.[(triple1)] The mouse chases the dog.[(triple2)] The rabbit is round.[(triple3)] The squirrel eats the dog.[(triple4)] @1: The dog chases the rabbit.[(((triple2) -> rule1))]