The bear is green. The squirrel visits the bear. If the squirrel visits the bear then the squirrel likes the bear. If the squirrel visits the bear and the squirrel likes the bear then the bear visits the squirrel. If something visits the bear then the bear does not chase the squirrel. If something chases the squirrel then it is rough. If something visits the squirrel then the squirrel visits the bear. If something likes the bear and it does not chase the squirrel then the bear likes the squirrel.
The bear likes the squirrel.
@0: The bear is green.[(triple1)] The squirrel visits the bear.[(triple2)] @1: The bear does not chase the squirrel.[(((triple2) -> rule3))] The squirrel likes the bear.[(((triple2) -> rule1))] @2: The bear visits the squirrel.[(((triple2 ((triple2) -> rule1)) -> rule2))]