The bear chases the squirrel. The bear is not big. The bear is not blue. The bear needs the squirrel. The bear visits the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is nice. The squirrel needs the bear. The squirrel visits the bear. If something needs the bear then it is big.
The squirrel is not rough.
@0: The bear chases the squirrel.[(triple1)] The bear is not big.[(triple2)] The bear is not blue.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is nice.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The squirrel is big.[(((triple9) -> rule1))]