The bald eagle chases the squirrel. The bear is rough. The lion chases the bear. The squirrel sees the lion. If someone sees the squirrel then the squirrel visits the bear. If someone is rough then they chase the lion. If the bear is red then the bear sees the lion.
The bear does not chase the lion.
@0: The bald eagle chases the squirrel.[(triple1)] The bear is rough.[(triple2)] The lion chases the bear.[(triple3)] The squirrel sees the lion.[(triple4)] @1: The bear chases the lion.[(((triple2) -> rule2))]