The squirrel chases the tiger. The squirrel is young. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is big. The tiger is green. The tiger sees the squirrel. If something is green then it visits the tiger. If something visits the squirrel then it sees the tiger. If something visits the tiger and it is nice then the tiger sees the squirrel.
The tiger does not see the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is young.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger chases the squirrel.[(triple4)] The tiger is big.[(triple5)] The tiger is green.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The tiger visits the tiger.[(((triple6) -> rule1))]