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