The bald eagle eats the dog. The bald eagle is rough. The bald eagle needs the cow. The bald eagle does not need the squirrel. The cow eats the squirrel. The cow is not young. The dog does not eat the bald eagle. The dog does not need the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is kind. The squirrel does not need the cow. If someone eats the squirrel then they chase the cow. If someone is green and young then they do not eat the cow. If someone is rough and not young then they eat the bald eagle. If the dog chases the squirrel and the dog does not need the cow then the squirrel does not eat the cow. Kind people are rough. If someone eats the cow then the cow does not chase the dog. If someone is green then they eat the dog. If someone chases the cow then the cow is rough.
The dog does not chase the dog.
@0: The bald eagle does not need the squirrel.[(triple4)] The bald eagle eats the dog.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow eats the squirrel.[(triple5)] The cow is not young.[(triple6)] The dog does not eat the bald eagle.[(triple7)] The dog does not need the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel does not need the cow.[(triple12)] The squirrel eats the bald eagle.[(triple10)] The squirrel is kind.[(triple11)] @1: The cow chases the cow.[(((triple5) -> rule1))] The squirrel is rough.[(((triple11) -> rule5))] @2: The cow is rough.[(((((triple5) -> rule1)) -> rule8))] @3: The cow eats the bald eagle.[(((((((triple5) -> rule1)) -> rule8) triple6) -> rule3))]