The bear chases the squirrel. The dog chases the squirrel. The squirrel chases the dog. If the squirrel chases the bear and the bear is young then the bear visits the dog. If something is nice and it visits the dog then it chases the dog. If something is blue then it visits the dog. If something visits the dog then the dog is blue. If the squirrel chases the bear then the squirrel visits the dog. If the dog sees the squirrel and the dog chases the squirrel then the squirrel visits the dog. If something chases the dog then the dog sees the squirrel. If the bear visits the squirrel and the squirrel chases the dog then the bear chases the dog.
The squirrel visits the dog.
@0: The bear chases the squirrel.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel chases the dog.[(triple3)] @1: The dog sees the squirrel.[(((triple3) -> rule7))] @2: The squirrel visits the dog.[(((((triple3) -> rule7) triple2) -> rule6))] @3: The dog is blue.[(((((((triple3) -> rule7) triple2) -> rule6)) -> rule4))] @4: The dog visits the dog.[(((((((((triple3) -> rule7) triple2) -> rule6)) -> rule4)) -> rule3))]