The bald eagle does not chase the cow. The bald eagle does not like the lion. The bald eagle does not visit the cow. The cow chases the bald eagle. The cow chases the lion. The cow is kind. The cow is young. The cow visits the lion. The lion is not green. The lion does not like the bald eagle. The lion likes the cow. The squirrel chases the bald eagle. The squirrel is green. The squirrel is not young. The squirrel likes the cow. The squirrel visits the lion. If something is green then it likes the bald eagle. If something likes the bald eagle then the bald eagle is green.
The lion is kind.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle does not like the lion.[(triple2)] The bald eagle does not visit the cow.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the lion.[(triple5)] The cow is kind.[(triple6)] The cow is young.[(triple7)] The cow visits the lion.[(triple8)] The lion does not like the bald eagle.[(triple10)] The lion is not green.[(triple9)] The lion likes the cow.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is green.[(triple13)] The squirrel is not young.[(triple14)] The squirrel likes the cow.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The squirrel likes the bald eagle.[(((triple13) -> rule1))] @2: The bald eagle is green.[(((((triple13) -> rule1)) -> rule2))] @3: The bald eagle likes the bald eagle.[(((((((triple13) -> rule1)) -> rule2)) -> rule1))]