The cow is not rough. The lion is green. The lion needs the cow. The lion needs the rabbit. The rabbit is not rough. The squirrel chases the rabbit. The squirrel is not rough. If something needs the squirrel then it likes the cow. If something needs the cow then it needs the squirrel. If something is round and young then it does not need the squirrel. If something is round then it does not need the rabbit. If something likes the rabbit then it chases the lion. If something needs the lion then it chases the squirrel. If the squirrel likes the cow then the cow does not need the rabbit. If the squirrel likes the cow and the squirrel is not green then the squirrel needs the rabbit. If something needs the squirrel then the squirrel needs the cow.
The lion does not need the squirrel.
@0: The cow is not rough.[(triple1)] The lion is green.[(triple2)] The lion needs the cow.[(triple3)] The lion needs the rabbit.[(triple4)] The rabbit is not rough.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is not rough.[(triple7)] @1: The lion needs the squirrel.[(((triple3) -> rule2))] @2: The lion likes the cow.[(((((triple3) -> rule2)) -> rule1))] The squirrel needs the cow.[(((((triple3) -> rule2)) -> rule9))] @3: The squirrel needs the squirrel.[(((((((triple3) -> rule2)) -> rule9)) -> rule2))] @4: The squirrel likes the cow.[(((((((((triple3) -> rule2)) -> rule9)) -> rule2)) -> rule1))] @5: The cow does not need the rabbit.[(((((((((((triple3) -> rule2)) -> rule9)) -> rule2)) -> rule1)) -> rule7))]