The bear needs the cow. The cow likes the squirrel. The squirrel needs the bear. If someone likes the squirrel then they are young. If someone needs the bear then the bear likes the cow. If the bear is red and the bear likes the cow then the cow is rough. If someone needs the squirrel and the squirrel likes the bear then they visit the bear. If someone likes the squirrel then the squirrel needs the cow. If someone is green and they like the squirrel then the squirrel needs the cow.
The bear does not visit the bear.
@0: The bear needs the cow.[(triple1)] The cow likes the squirrel.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear likes the cow.[(((triple3) -> rule2))] The cow is young.[(((triple2) -> rule1))] The squirrel needs the cow.[(((triple2) -> rule5))]