The squirrel visits the tiger. The tiger chases the squirrel. The tiger likes the squirrel. If someone chases the squirrel and the squirrel visits the tiger then the tiger does not visit the squirrel.
The tiger does not visit the squirrel.
@0: The squirrel visits the tiger.[(triple1)] The tiger chases the squirrel.[(triple2)] The tiger likes the squirrel.[(triple3)] @1: The tiger does not visit the squirrel.[(((triple2 triple1) -> rule1))]