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