The bear visits the squirrel. The squirrel is red. The tiger visits the squirrel. If something is blue then it eats the squirrel. If the tiger is big then the tiger chases the bear. If something visits the tiger then the tiger chases the bear. If something eats the bear then it visits the tiger. If something is blue then it eats the tiger. If something is red then it eats the bear.
The tiger does not chase the bear.
@0: The bear visits the squirrel.[(triple1)] The squirrel is red.[(triple2)] The tiger visits the squirrel.[(triple3)] @1: The squirrel eats the bear.[(((triple2) -> rule6))] @2: The squirrel visits the tiger.[(((((triple2) -> rule6)) -> rule4))] @3: The tiger chases the bear.[(((((((triple2) -> rule6)) -> rule4)) -> rule3))]