The bald eagle chases the cow. The cat chases the cow. The cat chases the rabbit. The cat eats the cow. The cat visits the bald eagle. The cat visits the rabbit. The cow chases the rabbit. The cow eats the rabbit. The cow is nice. The cow visits the cat. The rabbit visits the bald eagle. The rabbit visits the cat. If the cow visits the rabbit and the cow is round then the cow visits the bald eagle. If something eats the rabbit then it visits the rabbit.
The cow does not eat the rabbit.
@0: The bald eagle chases the cow.[(triple1)] The cat chases the cow.[(triple2)] The cat chases the rabbit.[(triple3)] The cat eats the cow.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the rabbit.[(triple6)] The cow chases the rabbit.[(triple7)] The cow eats the rabbit.[(triple8)] The cow is nice.[(triple9)] The cow visits the cat.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The cow visits the rabbit.[(((triple8) -> rule2))]