The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the squirrel. The cow chases the lion. The cow is blue. The cow does not need the bald eagle. The lion likes the cow. The lion does not need the bald eagle. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel is young. The squirrel needs the bald eagle. If someone likes the bald eagle then the bald eagle chases the lion. If the cow is green then the cow chases the squirrel. If someone chases the cow then they are green. If someone likes the squirrel then they chase the squirrel. If someone needs the bald eagle then they need the cow. If someone chases the lion then they chase the cow. If someone likes the squirrel and the squirrel is not blue then the squirrel needs the lion. All blue people are not rough.
The cow chases the cow.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cow chases the lion.[(triple4)] The cow does not need the bald eagle.[(triple6)] The cow is blue.[(triple5)] The lion does not need the bald eagle.[(triple8)] The lion likes the cow.[(triple7)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel is young.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The cow chases the cow.[(((triple4) -> rule6))] The cow is not rough.[(((triple5) -> rule8))] The squirrel is green.[(((triple10) -> rule3))] The squirrel needs the cow.[(((triple12) -> rule5))] @2: The cow is green.[(((((triple4) -> rule6)) -> rule3))] @3: The cow chases the squirrel.[(((((((triple4) -> rule6)) -> rule3)) -> rule2))]