The bear likes the dog. The dog likes the rabbit. The rabbit visits the bear. The squirrel likes the bear. If something is kind then it eats the dog. If something visits the squirrel and the squirrel is green then it is green. If something visits the bear then the bear visits the squirrel. If something likes the squirrel then the squirrel visits the dog. If something visits the squirrel then it visits the dog. If something visits the dog and it is cold then the dog is kind. If something visits the bear then it eats the bear. If something eats the squirrel then it visits the rabbit.
The dog likes the rabbit.
@0: The bear likes the dog.[(triple1)] The dog likes the rabbit.[(triple2)] The rabbit visits the bear.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear visits the squirrel.[(((triple3) -> rule3))] The rabbit eats the bear.[(((triple3) -> rule7))] @2: The bear visits the dog.[(((((triple3) -> rule3)) -> rule5))]