The dog eats the rabbit. The rabbit does not visit the dog. The squirrel visits the rabbit. If someone is young then they chase the dog. If someone is round then they visit the rabbit. If someone visits the rabbit then they are not round.
The rabbit does not chase the dog.
@0: The dog eats the rabbit.[(triple1)] The rabbit does not visit the dog.[(triple2)] The squirrel visits the rabbit.[(triple3)] @1: The squirrel is not round.[(((triple3) -> rule3))]