The squirrel chases the tiger. The squirrel is cold. The squirrel is green. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is kind. The tiger likes the squirrel. If something needs the tiger then it is rough.
The tiger is not rough.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the tiger.[(triple5)] The squirrel needs the tiger.[(triple6)] The tiger chases the squirrel.[(triple7)] The tiger is cold.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The squirrel is rough.[(((triple6) -> rule1))]