The squirrel eats the tiger. The squirrel is big. The squirrel is cold. The squirrel is not nice. The squirrel does not like the tiger. The squirrel visits the tiger. The tiger likes the squirrel. If the squirrel visits the tiger and the tiger is red then the squirrel eats the tiger. If the tiger is cold and the squirrel does not visit the tiger then the squirrel eats the tiger. Rough, red things are big. If the squirrel does not like the tiger then the tiger eats the squirrel. If the squirrel likes the tiger and the squirrel does not eat the tiger then the tiger visits the squirrel. If something eats the tiger and the tiger eats the squirrel then it visits the squirrel. If something is nice and rough then it eats the squirrel. If something visits the squirrel then it eats the squirrel.
The squirrel does not visit the squirrel.
@0: The squirrel does not like the tiger.[(triple5)] The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is not nice.[(triple4)] The squirrel visits the tiger.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The tiger eats the squirrel.[(((triple5) -> rule4))] @2: The squirrel visits the squirrel.[(((triple1 ((triple5) -> rule4)) -> rule6))] @3: The squirrel eats the squirrel.[(((((triple1 ((triple5) -> rule4)) -> rule6)) -> rule8))]