The bald eagle visits the cow. The bear chases the tiger. The cow eats the bald eagle. The tiger is round. If someone eats the bald eagle and the bald eagle visits the tiger then the bald eagle visits the bear. If someone visits the cow then the cow chases the bear. If someone chases the cow then the cow eats the bear.
The bald eagle does not visit the bear.
@0: The bald eagle visits the cow.[(triple1)] The bear chases the tiger.[(triple2)] The cow eats the bald eagle.[(triple3)] The tiger is round.[(triple4)] @1: The cow chases the bear.[(((triple1) -> rule2))]