The bear eats the cow. The cat is young. The cow chases the cat. If something visits the bear and it is round then it eats the bear. If something eats the cow then it chases the cat. If the cow eats the bear then the bear does not visit the cow.
The cat is not young.
@0: The bear eats the cow.[(triple1)] The cat is young.[(triple2)] The cow chases the cat.[(triple3)] @1: The bear chases the cat.[(((triple1) -> rule2))]