The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle eats the cow. The bald eagle eats the lion. The bald eagle visits the cow. The cow eats the lion. The cow is blue. The cow visits the bald eagle. The cow visits the dog. The cow visits the lion. The dog chases the cow. The dog visits the bald eagle. The dog visits the lion. The lion visits the bald eagle. The lion visits the cow. If someone chases the cow then the cow is young. If someone is big then they eat the bald eagle. If someone chases the dog and the dog eats the bald eagle then the bald eagle eats the dog. If someone eats the cow and the cow is young then they eat the dog. If the bald eagle is round and the bald eagle is big then the bald eagle eats the cow. If someone eats the dog then the dog visits the cow.
The bald eagle eats the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle eats the lion.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow eats the lion.[(triple6)] The cow is blue.[(triple7)] The cow visits the bald eagle.[(triple8)] The cow visits the dog.[(triple9)] The cow visits the lion.[(triple10)] The dog chases the cow.[(triple11)] The dog visits the bald eagle.[(triple12)] The dog visits the lion.[(triple13)] The lion visits the bald eagle.[(triple14)] The lion visits the cow.[(triple15)] @1: The cow is young.[(((triple1) -> rule1) OR ((triple11) -> rule1))] @2: The bald eagle eats the dog.[(((triple3 ((triple1) -> rule1)) -> rule4) OR ((triple3 ((triple11) -> rule1)) -> rule4))] @3: The dog visits the cow.[(((((triple3 ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((triple3 ((triple11) -> rule1)) -> rule4)) -> rule6))]