The bear chases the lion. The lion visits the bear. The mouse visits the lion. If something visits the bear then it chases the mouse. If something sees the bear and the bear visits the mouse then the mouse chases the lion. If something chases the mouse then the mouse sees the bear. If something is green then it visits the mouse. If something chases the bear then it is green. If something chases the mouse then it is green.
The mouse does not visit the mouse.
@0: The bear chases the lion.[(triple1)] The lion visits the bear.[(triple2)] The mouse visits the lion.[(triple3)] @1: The lion chases the mouse.[(((triple2) -> rule1))] @2: The lion is green.[(((((triple2) -> rule1)) -> rule6))] The mouse sees the bear.[(((((triple2) -> rule1)) -> rule3))] @3: The lion visits the mouse.[(((((((triple2) -> rule1)) -> rule6)) -> rule4))]