The cat eats the squirrel. The cat needs the squirrel. The cat needs the tiger. The cat sees the squirrel. The cat sees the tiger. The squirrel eats the cat. The squirrel eats the tiger. The squirrel sees the cat. The squirrel sees the tiger. The tiger eats the cat. The tiger is cold. The tiger is rough. If something eats the cat then it eats the squirrel. If something is green and it sees the cat then it eats the tiger.
The cat sees the tiger.
@0: The cat eats the squirrel.[(triple1)] The cat needs the squirrel.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the squirrel.[(triple4)] The cat sees the tiger.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel sees the cat.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is cold.[(triple11)] The tiger is rough.[(triple12)] @1: The squirrel eats the squirrel.[(((triple6) -> rule1))] The tiger eats the squirrel.[(((triple10) -> rule1))]