The squirrel chases the tiger. The squirrel is big. The squirrel is blue. The tiger chases the squirrel. The tiger is big. The tiger is blue. The tiger is green. The tiger is not nice. The tiger does not like the squirrel. The tiger sees the squirrel. If something chases the squirrel then it likes the tiger. If something chases the squirrel and it chases the tiger then the squirrel is not nice. If something likes the squirrel and it does not chase the tiger then the tiger chases the squirrel. If something chases the tiger then it chases the squirrel. If something is nice then it does not see the tiger. If something chases the tiger and it does not like the tiger then the tiger sees the squirrel.
The squirrel is not kind.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is blue.[(triple3)] The tiger chases the squirrel.[(triple4)] The tiger does not like the squirrel.[(triple9)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger is green.[(triple7)] The tiger is not nice.[(triple8)] The tiger sees the squirrel.[(triple10)] @1: The squirrel chases the squirrel.[(((triple1) -> rule4))] The tiger likes the tiger.[(((triple4) -> rule1))] @2: The squirrel is not nice.[(((((triple1) -> rule4) triple1) -> rule2))] The squirrel likes the tiger.[(((((triple1) -> rule4)) -> rule1))]