The bear sees the squirrel. The cow sees the bear. The squirrel eats the tiger. The tiger visits the bear. If something sees the bear then it sees the tiger. If something eats the bear and the bear is nice then it sees the cow.
The cow is big.
@0: The bear sees the squirrel.[(triple1)] The cow sees the bear.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger visits the bear.[(triple4)] @1: The cow sees the tiger.[(((triple2) -> rule1))]