The bear visits the squirrel. The dog visits the bear. The squirrel is rough. If the squirrel is blue then the squirrel visits the bear. If someone chases the bear then the bear does not chase the squirrel. If someone visits the bear then they chase the bear.
The squirrel is not rough.
@0: The bear visits the squirrel.[(triple1)] The dog visits the bear.[(triple2)] The squirrel is rough.[(triple3)] @1: The dog chases the bear.[(((triple2) -> rule3))] @2: The bear does not chase the squirrel.[(((((triple2) -> rule3)) -> rule2))]