The bald eagle does not chase the squirrel. The cow does not chase the bald eagle. The cow chases the squirrel. The cow is cold. The cow is green. The cow is not nice. The cow needs the bald eagle. The cow does not need the squirrel. The squirrel chases the cow. The squirrel eats the bald eagle. The squirrel is not cold. The squirrel needs the cow. If something chases the squirrel and it needs the cow then the squirrel needs the bald eagle. If something eats the bald eagle and it is not cold then it needs the squirrel. If something is green then it needs the cow. If something needs the bald eagle and it needs the cow then it does not eat the cow. If something chases the cow and it is not nice then the cow does not need the bald eagle. If the bald eagle is round and the bald eagle does not need the cow then the cow needs the bald eagle.
The squirrel needs the bald eagle.
@0: The bald eagle does not chase the squirrel.[(triple1)] The cow chases the squirrel.[(triple3)] The cow does not chase the bald eagle.[(triple2)] The cow does not need the squirrel.[(triple8)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is not nice.[(triple6)] The cow needs the bald eagle.[(triple7)] The squirrel chases the cow.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel is not cold.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow needs the cow.[(((triple5) -> rule3))] The squirrel needs the squirrel.[(((triple10 triple11) -> rule2))] @2: The cow does not eat the cow.[(((triple7 ((triple5) -> rule3)) -> rule4))] The squirrel needs the bald eagle.[(((triple3 ((triple5) -> rule3)) -> rule1))] @3: The squirrel does not eat the cow.[(((((triple3 ((triple5) -> rule3)) -> rule1) triple12) -> rule4))]