The squirrel chases the tiger. The squirrel does not eat the tiger. The squirrel is big. The squirrel is rough. The squirrel likes the tiger. The tiger eats the squirrel. The tiger likes the squirrel. If someone likes the tiger and they are nice then the tiger chases the squirrel. If someone chases the squirrel then they like the tiger. If the squirrel likes the tiger and the squirrel does not eat the tiger then the squirrel is rough. If the squirrel chases the tiger and the tiger chases the squirrel then the tiger likes the squirrel. If someone chases the tiger then they are nice. If someone is rough and they eat the tiger then the tiger does not eat the squirrel. If someone chases the tiger and the tiger is rough then they are big. If someone eats the tiger and they do not like the tiger then the tiger is young.
The tiger chases the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel does not eat the tiger.[(triple2)] The squirrel is big.[(triple3)] The squirrel is rough.[(triple4 OR ((triple5 triple2) -> rule3))] The squirrel likes the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger likes the squirrel.[(triple7 OR ((triple1 ((triple5 ((triple1) -> rule5)) -> rule1)) -> rule4))] @1: The squirrel is nice.[(((triple1) -> rule5))] @2: The tiger chases the squirrel.[(((triple5 ((triple1) -> rule5)) -> rule1))] @3: The tiger likes the tiger.[(((((triple5 ((triple1) -> rule5)) -> rule1)) -> rule2))]