The bear visits the squirrel. The squirrel visits the tiger. The tiger needs the squirrel. If someone visits the squirrel then they see the tiger. If someone sees the bear then they visit the squirrel. If someone is cold and they visit the tiger then they need the tiger. If someone sees the squirrel then they see the bear. If someone sees the bear then the bear needs the tiger. If someone visits the tiger and the tiger needs the squirrel then the squirrel sees the bear.
The bear sees the bear.
@0: The bear visits the squirrel.[(triple1)] The squirrel visits the tiger.[(triple2)] The tiger needs the squirrel.[(triple3)] @1: The bear sees the tiger.[(((triple1) -> rule1))] The squirrel sees the bear.[(((triple2 triple3) -> rule6))] @2: The bear needs the tiger.[(((((triple2 triple3) -> rule6)) -> rule5))] The squirrel visits the squirrel.[(((((triple2 triple3) -> rule6)) -> rule2))] @3: The squirrel sees the tiger.[(((((((triple2 triple3) -> rule6)) -> rule2)) -> rule1))]