The squirrel eats the tiger. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel likes the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is big. The tiger is cold. The tiger is rough. The tiger likes the squirrel. The tiger sees the squirrel. If someone likes the squirrel and the squirrel is rough then the squirrel eats the tiger. If someone likes the squirrel then they are nice.
The squirrel likes the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is nice.[(triple4)] The squirrel likes the tiger.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The tiger is nice.[(((triple11) -> rule2))]