The bear visits the squirrel. The lion visits the bear. The squirrel is rough. If the lion visits the bear then the lion is red. If someone chases the bear and the bear is round then they visit the lion.
The bear visits the squirrel.
@0: The bear visits the squirrel.[(triple1)] The lion visits the bear.[(triple2)] The squirrel is rough.[(triple3)] @1: The lion is red.[(((triple2) -> rule1))]