The squirrel eats the tiger. The squirrel is not blue. The squirrel is young. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is big. The tiger is not cold. The tiger is kind. The tiger is young. The tiger needs the squirrel. If something eats the tiger then it eats the squirrel.
The squirrel eats the tiger.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is not blue.[(triple2)] The squirrel is young.[(triple3)] The tiger chases the squirrel.[(triple4)] The tiger eats the squirrel.[(triple5)] The tiger is big.[(triple6)] The tiger is kind.[(triple8)] The tiger is not cold.[(triple7)] The tiger is young.[(triple9)] The tiger needs the squirrel.[(triple10)] @1: The squirrel eats the squirrel.[(((triple1) -> rule1))]