The bear chases the cow. The cow chases the squirrel. The squirrel needs the cow. If someone chases the cow then they see the cow. If someone needs the bear then the bear is green. If someone sees the squirrel and the squirrel is young then they chase the bear. If someone chases the bear then the bear is green. If someone is green then they chase the bear. If someone chases the squirrel then the squirrel is green. If someone is young and they chase the squirrel then they need the bear. If someone is big and they need the squirrel then the squirrel is young.
The squirrel does not see the bear.
@0: The bear chases the cow.[(triple1)] The cow chases the squirrel.[(triple2)] The squirrel needs the cow.[(triple3)] @1: The bear sees the cow.[(((triple1) -> rule1))] The squirrel is green.[(((triple2) -> rule6))] @2: The squirrel chases the bear.[(((((triple2) -> rule6)) -> rule5))] @3: The bear is green.[(((((((triple2) -> rule6)) -> rule5)) -> rule4))] @4: The bear chases the bear.[(((((((((triple2) -> rule6)) -> rule5)) -> rule4)) -> rule5))]