The bear sees the cow. The cow chases the squirrel. The dog is round. The squirrel does not eat the dog. If someone sees the cow then they do not chase the squirrel.
The squirrel does not eat the dog.
@0: The bear sees the cow.[(triple1)] The cow chases the squirrel.[(triple2)] The dog is round.[(triple3)] The squirrel does not eat the dog.[(triple4)] @1: The bear does not chase the squirrel.[(((triple1) -> rule1))]