The bear eats the squirrel. The cow needs the squirrel. The dog needs the squirrel. The squirrel does not need the dog. If someone chases the cow then the cow needs the bear. If someone eats the squirrel then they chase the squirrel. If someone is kind and they do not chase the dog then they chase the squirrel. If someone is kind then they need the bear. If someone chases the squirrel then they eat the cow. If someone chases the squirrel then the squirrel is kind. If someone chases the bear and the bear does not eat the squirrel then the bear needs the squirrel. If someone eats the cow and the cow is not nice then they chase the cow.
The squirrel is kind.
@0: The bear eats the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The dog needs the squirrel.[(triple3)] The squirrel does not need the dog.[(triple4)] @1: The bear chases the squirrel.[(((triple1) -> rule2))] @2: The bear eats the cow.[(((((triple1) -> rule2)) -> rule5))] The squirrel is kind.[(((((triple1) -> rule2)) -> rule6))] @3: The squirrel needs the bear.[(((((((triple1) -> rule2)) -> rule6)) -> rule4))]