The bear chases the mouse. The bear needs the mouse. The cow chases the bear. The cow chases the squirrel. The cow likes the squirrel. The mouse chases the bear. The squirrel is young. If something chases the bear and the bear needs the mouse then it chases the squirrel. If something needs the mouse and it chases the bear then the mouse likes the squirrel. If something is red and it likes the squirrel then the squirrel is green. If something likes the mouse then the mouse needs the squirrel. If something chases the squirrel then it is green. If something needs the mouse then it chases the mouse. If the squirrel likes the cow then the squirrel likes the mouse. If something is green then it likes the cow.
The cow does not like the cow.
@0: The bear chases the mouse.[(triple1 OR ((triple2) -> rule6))] The bear needs the mouse.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the squirrel.[(triple4 OR ((triple3 triple2) -> rule1))] The cow likes the squirrel.[(triple5)] The mouse chases the bear.[(triple6)] The squirrel is young.[(triple7)] @1: The cow is green.[(((triple4) -> rule5) OR ((((triple3 triple2) -> rule1)) -> rule5))] The mouse chases the squirrel.[(((triple6 triple2) -> rule1))] @2: The cow likes the cow.[(((((triple4) -> rule5)) -> rule8) OR ((((((triple3 triple2) -> rule1)) -> rule5)) -> rule8))] The mouse is green.[(((((triple6 triple2) -> rule1)) -> rule5))] @3: The mouse likes the cow.[(((((((triple6 triple2) -> rule1)) -> rule5)) -> rule8))]