The bear likes the squirrel. The mouse is kind. The squirrel is young. If the bear likes the mouse and the mouse visits the bear then the bear chases the squirrel. If someone visits the squirrel then the squirrel is kind. If someone likes the mouse and they visit the squirrel then the squirrel visits the mouse. If the squirrel is kind then the squirrel visits the mouse. If someone is kind then they visit the squirrel. If someone chases the squirrel then the squirrel is blue.
The mouse chases the bear.
@0: The bear likes the squirrel.[(triple1)] The mouse is kind.[(triple2)] The squirrel is young.[(triple3)] @1: The mouse visits the squirrel.[(((triple2) -> rule5))] @2: The squirrel is kind.[(((((triple2) -> rule5)) -> rule2))] @3: The squirrel visits the mouse.[(((((((triple2) -> rule5)) -> rule2)) -> rule4))] The squirrel visits the squirrel.[(((((((triple2) -> rule5)) -> rule2)) -> rule5))]