The bald eagle chases the dog. The bald eagle eats the rabbit. The bald eagle needs the cow. The cow chases the dog. The cow eats the rabbit. The cow is cold. The cow is kind. The cow is nice. The cow needs the dog. The dog eats the cow. The dog is cold. The dog needs the cow. The dog needs the rabbit. The rabbit eats the cow. If something eats the dog and it chases the dog then it chases the bald eagle. If something needs the dog and it chases the bald eagle then it is round. If the dog chases the cow then the cow eats the dog. If something is round then it chases the cow. If something needs the dog then it is kind. If something needs the cow then it chases the cow. If something is kind and young then it chases the rabbit.
The dog does not chase the cow.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow chases the dog.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is cold.[(triple6)] The cow is kind.[(triple7 OR ((triple9) -> rule5))] The cow is nice.[(triple8)] The cow needs the dog.[(triple9)] The dog eats the cow.[(triple10)] The dog is cold.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the rabbit.[(triple13)] The rabbit eats the cow.[(triple14)] @1: The bald eagle chases the cow.[(((triple3) -> rule6))] The dog chases the cow.[(((triple12) -> rule6))] @2: The cow eats the dog.[(((((triple12) -> rule6)) -> rule3))] @3: The cow chases the bald eagle.[(((((((triple12) -> rule6)) -> rule3) triple4) -> rule1))] @4: The cow is round.[(((triple9 ((((((triple12) -> rule6)) -> rule3) triple4) -> rule1)) -> rule2))] @5: The cow chases the cow.[(((((triple9 ((((((triple12) -> rule6)) -> rule3) triple4) -> rule1)) -> rule2)) -> rule4))]