The bear is young. The dog visits the squirrel. The squirrel chases the dog. If something is cold then it chases the dog. If something sees the squirrel and the squirrel chases the dog then the squirrel sees the dog. If something is nice then it chases the bear. If something chases the dog and it visits the squirrel then the squirrel is nice. If something sees the squirrel then it chases the squirrel. If the bear visits the squirrel then the squirrel visits the dog. If something sees the dog and it chases the squirrel then the dog chases the bear. If the dog visits the squirrel and the squirrel chases the dog then the squirrel chases the bear.
The dog does not chase the dog.
@0: The bear is young.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel chases the dog.[(triple3)] @1: The squirrel chases the bear.[(((triple2 triple3) -> rule8))]