The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle is red. The bald eagle visits the cow. The cow eats the bald eagle. The cow eats the dog. The cow is round. The dog chases the bald eagle. The dog chases the cow. The dog eats the tiger. The dog visits the cow. The dog visits the tiger. The tiger visits the cow. The tiger visits the dog. If someone chases the tiger then the tiger eats the dog. If someone eats the bald eagle and they eat the tiger then the tiger chases the dog. If someone chases the bald eagle then the bald eagle eats the tiger.
The bald eagle eats the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow eats the dog.[(triple7)] The cow is round.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog chases the cow.[(triple10)] The dog eats the tiger.[(triple11)] The dog visits the cow.[(triple12)] The dog visits the tiger.[(triple13)] The tiger visits the cow.[(triple14)] The tiger visits the dog.[(triple15)] @1: The bald eagle eats the tiger.[(((triple9) -> rule3))] The tiger eats the dog.[(((triple2) -> rule1))]