The bear visits the dog. The dog chases the bear. The dog needs the bear. The squirrel is kind. The squirrel needs the bear. The tiger is kind. The tiger visits the bear. If something visits the bear then it needs the dog. If something chases the bear then the bear needs the dog. If something needs the dog then it chases the squirrel.
The tiger visits the bear.
@0: The bear visits the dog.[(triple1)] The dog chases the bear.[(triple2)] The dog needs the bear.[(triple3)] The squirrel is kind.[(triple4)] The squirrel needs the bear.[(triple5)] The tiger is kind.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear needs the dog.[(((triple2) -> rule2))] The tiger needs the dog.[(((triple7) -> rule1))] @2: The bear chases the squirrel.[(((((triple2) -> rule2)) -> rule3))] The tiger chases the squirrel.[(((((triple7) -> rule1)) -> rule3))]