The squirrel chases the tiger. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel likes the tiger. The tiger does not chase the squirrel. The tiger is red. If someone eats the tiger then the tiger does not like the squirrel. If someone eats the tiger then the tiger does not eat the squirrel. If someone chases the squirrel then the squirrel eats the tiger. If someone eats the squirrel and they chase the tiger then the squirrel chases the tiger. If the tiger is young and the tiger eats the squirrel then the squirrel does not like the tiger. If someone is young then they chase the squirrel.
The squirrel does not chase the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger does not chase the squirrel.[(triple6)] The tiger is red.[(triple7)] @1: The squirrel chases the squirrel.[(((triple4) -> rule6))] @2: The squirrel eats the tiger.[(((((triple4) -> rule6)) -> rule3))] @3: The tiger does not eat the squirrel.[(((((((triple4) -> rule6)) -> rule3)) -> rule2))] The tiger does not like the squirrel.[(((((((triple4) -> rule6)) -> rule3)) -> rule1))]