The cow chases the lion. The cow chases the squirrel. The cow is round. The cow likes the dog. The dog likes the cow. The dog likes the lion. The lion chases the cow. The lion chases the squirrel. The lion is cold. The lion is green. The lion likes the dog. The squirrel is cold. The squirrel is young. The squirrel needs the lion. If the cow needs the squirrel then the cow chases the squirrel. If something chases the cow then it needs the squirrel. If something is round then it likes the squirrel. If something is big then it is green. If something is big and it chases the dog then the dog chases the cow. If something chases the lion and it likes the squirrel then the squirrel is green. If something is green then it chases the cow. If the dog is green then the dog is round. If something needs the squirrel then it likes the squirrel.
The cow does not need the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is round.[(triple3)] The cow likes the dog.[(triple4)] The dog likes the cow.[(triple5)] The dog likes the lion.[(triple6)] The lion chases the cow.[(triple7 OR ((triple10) -> rule7))] The lion chases the squirrel.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion likes the dog.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the lion.[(triple14)] @1: The cow likes the squirrel.[(((triple3) -> rule3))] The lion needs the squirrel.[(((triple7) -> rule2) OR ((((triple10) -> rule7)) -> rule2))] @2: The lion likes the squirrel.[(((((triple7) -> rule2)) -> rule9) OR ((((((triple10) -> rule7)) -> rule2)) -> rule9))] The squirrel is green.[(((triple1 ((triple3) -> rule3)) -> rule6))] @3: The squirrel chases the cow.[(((((triple1 ((triple3) -> rule3)) -> rule6)) -> rule7))] @4: The squirrel needs the squirrel.[(((((((triple1 ((triple3) -> rule3)) -> rule6)) -> rule7)) -> rule2))] @5: The squirrel likes the squirrel.[(((((((((triple1 ((triple3) -> rule3)) -> rule6)) -> rule7)) -> rule2)) -> rule9))]