The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel sees the tiger. The tiger is big. If someone chases the tiger then the tiger sees the squirrel.
The tiger is green.
@0: The squirrel chases the tiger.[(triple1)] The squirrel eats the tiger.[(triple2)] The squirrel is big.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is red.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger is big.[(triple7)] @1: The tiger sees the squirrel.[(((triple1) -> rule1))]