The bear eats the squirrel. The squirrel visits the bear. The tiger eats the bear. If something is blue then it visits the squirrel. If something eats the bear then it does not chase the bear. If something eats the bear and it does not visit the tiger then the bear chases the squirrel. If something visits the bear then it eats the bear. If the squirrel is kind then the squirrel chases the tiger. If something eats the squirrel then the squirrel eats the bear.
The bear is not young.
@0: The bear eats the squirrel.[(triple1)] The squirrel visits the bear.[(triple2)] The tiger eats the bear.[(triple3)] @1: The squirrel eats the bear.[(((triple1) -> rule6) OR ((triple2) -> rule4))] The tiger does not chase the bear.[(((triple3) -> rule2))] @2: The squirrel does not chase the bear.[(((((triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule4)) -> rule2))]