The bear chases the rabbit. The rabbit visits the bear. If something visits the bear and the bear chases the rabbit then the bear visits the rabbit. If something visits the bear then it is kind.
The rabbit does not visit the bear.
@0: The bear chases the rabbit.[(triple1)] The rabbit visits the bear.[(triple2)] @1: The bear visits the rabbit.[(((triple2 triple1) -> rule1))] The rabbit is kind.[(((triple2) -> rule2))]