The bear likes the squirrel. The cow needs the bear. The squirrel needs the cow. If someone chases the cow and they are nice then they do not need the cow. If someone chases the cow then they need the cow. If the squirrel likes the cow then the cow needs the squirrel. If someone likes the bear then the bear needs the cow. If someone is nice and not kind then they chase the cow. If the cow likes the bear and the bear needs the squirrel then the cow is not nice. If someone needs the cow then they like the bear. If someone needs the cow and they are nice then the cow chases the squirrel.
The bear needs the cow.
@0: The bear likes the squirrel.[(triple1)] The cow needs the bear.[(triple2)] The squirrel needs the cow.[(triple3)] @1: The squirrel likes the bear.[(((triple3) -> rule7))] @2: The bear needs the cow.[(((((triple3) -> rule7)) -> rule4))] @3: The bear likes the bear.[(((((((triple3) -> rule7)) -> rule4)) -> rule7))]