The bear does not visit the squirrel. The squirrel is rough. The squirrel visits the bear. If the squirrel visits the bear then the squirrel chases the bear. If the squirrel is cold then the squirrel chases the bear. If the bear likes the squirrel and the squirrel chases the bear then the bear does not visit the squirrel. If something likes the bear then it visits the squirrel. If the squirrel likes the bear and the squirrel chases the bear then the squirrel visits the bear. If something chases the squirrel and the squirrel chases the bear then the bear chases the squirrel. If something likes the squirrel then it chases the squirrel. If something chases the bear then it chases the squirrel.
The squirrel likes the bear.
@0: The bear does not visit the squirrel.[(triple1)] The squirrel is rough.[(triple2)] The squirrel visits the bear.[(triple3)] @1: The squirrel chases the bear.[(((triple3) -> rule1))] @2: The squirrel chases the squirrel.[(((((triple3) -> rule1)) -> rule8))] @3: The bear chases the squirrel.[(((((((triple3) -> rule1)) -> rule8) ((triple3) -> rule1)) -> rule6))]