The bald eagle chases the dog. The bald eagle chases the rabbit. The bald eagle does not eat the dog. The bald eagle does not eat the rabbit. The bald eagle needs the cow. The cow chases the bald eagle. The cow needs the bald eagle. The dog chases the bald eagle. The dog chases the cow. The dog is kind. The dog is nice. The dog is red. The dog is rough. The dog needs the rabbit. The rabbit eats the bald eagle. The rabbit needs the dog. If someone is young then they need the rabbit. If someone eats the bald eagle and they chase the rabbit then the bald eagle is nice. If someone chases the bald eagle then they are rough. If someone is kind and they need the bald eagle then the bald eagle needs the cow. If someone chases the cow then they chase the rabbit. If someone chases the rabbit then the rabbit chases the cow. If the cow is kind and the cow is nice then the cow eats the bald eagle. If someone chases the rabbit and the rabbit is kind then they eat the bald eagle.
The dog does not chase the rabbit.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not eat the dog.[(triple3)] The bald eagle does not eat the rabbit.[(triple4)] The bald eagle needs the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow needs the bald eagle.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog chases the cow.[(triple9)] The dog is kind.[(triple10)] The dog is nice.[(triple11)] The dog is red.[(triple12)] The dog is rough.[(triple13 OR ((triple8) -> rule3))] The dog needs the rabbit.[(triple14)] The rabbit eats the bald eagle.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The cow is rough.[(((triple6) -> rule3))] The dog chases the rabbit.[(((triple9) -> rule5))] The rabbit chases the cow.[(((triple2) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] @2: The rabbit chases the rabbit.[(((((triple2) -> rule6)) -> rule5) OR ((((((triple9) -> rule5)) -> rule6)) -> rule5))] @3: The bald eagle is nice.[(((triple15 ((((triple2) -> rule6)) -> rule5)) -> rule2) OR ((triple15 ((((((triple9) -> rule5)) -> rule6)) -> rule5)) -> rule2))]