The mouse is round. The squirrel is rough. The squirrel likes the mouse. If someone is round then they like the squirrel. If the mouse visits the squirrel and the mouse likes the squirrel then the squirrel visits the mouse. If someone visits the mouse and the mouse likes the squirrel then they like the squirrel. If someone chases the mouse then they chase the squirrel. If the mouse likes the squirrel then the squirrel chases the mouse. If someone chases the mouse then the mouse visits the squirrel.
The squirrel does not chase the mouse.
@0: The mouse is round.[(triple1)] The squirrel is rough.[(triple2)] The squirrel likes the mouse.[(triple3)] @1: The mouse likes the squirrel.[(((triple1) -> rule1))] @2: The squirrel chases the mouse.[(((((triple1) -> rule1)) -> rule5))] @3: The mouse visits the squirrel.[(((((((triple1) -> rule1)) -> rule5)) -> rule6))] The squirrel chases the squirrel.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))] @4: The squirrel visits the mouse.[(((((((((triple1) -> rule1)) -> rule5)) -> rule6) ((triple1) -> rule1)) -> rule2))] @5: The squirrel likes the squirrel.[(((((((((((triple1) -> rule1)) -> rule5)) -> rule6) ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))]